Hinze R Introducing String Diagrams The Art of Category Theory 2023
General:
Name: Hinze R Introducing String Diagrams The Art of Category Theory 2023
Format: pdf
Size: 2.13 MB
Book:
Title: Introducing String Diagrams: The Art of Category Theory
Author: Ralf Hinze, Dan Marsden
Language: angielski
Year: 2023
Subjects: Computers, Computer Programming, Programming Languages, Other Programming Languages, Programming languages (Computers)
Publisher: Cambridge University Press
ISBN: 9781009317863
Total pages: 197
Description:
String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and researchers. Much of the book is devoted to worked examples highlighting how best to use string diagrams to solve realistic problems in elementary category theory. A range of topics are explored from the perspective of string diagrams, including adjunctions, monad and comonads, Kleisli and Eilenberg-Moore categories, and endofunctor algebras and coalgebras. Careful attention is paid throughout to exploit the freedom of the graphical notation to draw diagrams that aid understanding and subsequent calculations. Each chapter contains plentiful exercises of varying levels of difficulty, suitable for self-study or for use by instructors.
Download from RapidGator
https://rapidgator.net/file/d224b5343a0e74ea45e1765041a02771/7746nfujcq05f3inoc0x19.pdf