Introducing String Diagrams

From MaRDI portal

Revision as of 17:15, 25 April 2024 by Import240425040427 (talk | contribs) (Created automatically from import240425040427)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6038723

Jump to:navigation, search

DOI10.1017/9781009317825zbMath1525.18001MaRDI QIDQ6038723

Ralf Hinze, Dan Marsden

Publication date: 3 May 2023

zbMATH Keywords

functor; natural transformation; monad; adjoint functor; universal property; Kleisli category; string diagram; Eilenberg-Moore category; free monad; resumption monad; 2-category of categories

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6038723&oldid=33883131"