Introducing String Diagrams

From MaRDI portal

Revision as of 16: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.18001OpenAlexW4384829147MaRDI QIDQ6038723

Ralf Hinze, Dan Marsden

Publication date: 3 May 2023

Full work available at URL: https://doi.org/10.1017/9781009317825

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

Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) 2-categories, bicategories, double categories (18N10)

This page was built for publication: Introducing String Diagrams

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