Monads need not be endofunctors

DOI10.1007/978-3-642-12032-9_21MaRDI QIDQ3557858zbMATH OpenOpenAlexWikidataFDO

Authors Thorsten Altenkirch, James Chapman, Tarmo Uustalu

Publication date 27 April 2010

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12032-9_21

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Functional programming and lambda calculus (68N18)

Recommendations

• Monads need not be endofunctors
• Relative monads formalised
• Categorical semantics for arrows
• Notions of computation as monoids
• Arrows, like monads, are monoids

Cited in

(27)

• Remarks on units of skew monoidal categories
• The universal exponentiable arrow
• Classical control and quantum circuits in enriched category theory
• Elements of a theory of algebraic theories
• C-system of a module over a \(Jf\)-relative monad
• A Coq library for internal verification of running-times
• Freyd categories are enriched Lawvere theories
• The coinductive resumption monad
• Turing-Completeness Totally Free
• On the tensor product of modules over skew monoidal categories
• Notions of computation as monoids
• Categorical structures for type theory in univalent foundations
• Classical control, quantum circuits and linear logic in enriched category theory
• Monads need not be endofunctors
• Relative monads formalised
• Tower induction and up-to techniques for CCS with fixed points
• Indexed containers
• Modules over relative monads for syntax and semantics
• The formal theory of relative monads
• The pebble-relation comonad in finite model theory
• Free commutative monoids in homotopy type theory
• Skew monoidal structures on actegories
• Modal logic with relations over paths: a theoretical development through comonadic semantics
• The nerve theorem for relative monads
• Algebraic effects and handlers for arrows
• Relative monadicity
• On graded monads, distributive laws and costrong functors

This page was built for publication: Monads need not be endofunctors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3557858)