Introducing String Diagrams
From MaRDI portal
Publication:6038723
DOI10.1017/9781009317825zbMath1525.18001MaRDI QIDQ6038723
Publication date: 3 May 2023
functor; natural transformation; monad; adjoint functor; universal property; Kleisli category; string diagram; Eilenberg-Moore category; free monad; resumption monad; 2-category of categories
68N18: Functional programming and lambda calculus
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory
18N10: 2-categories, bicategories, double categories