Monads Need Not Be Endofunctors

DOI10.1007/978-3-642-12032-9_21zbMath1284.18010OpenAlexW2161616972WikidataQ61583802 ScholiaQ61583802MaRDI QIDQ3557858

James T. E. Chapman, Thorsten Altenkirch, 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

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

Related Items (16)

Categorical structures for type theory in univalent foundations ⋮ Tower Induction and Up-to Techniques for CCS with Fixed Points ⋮ Freyd categories are enriched Lawvere theories ⋮ The coinductive resumption monad ⋮ Classical control and quantum circuits in enriched category theory ⋮ On the tensor product of modules over skew monoidal categories ⋮ Turing-Completeness Totally Free ⋮ C-system of a module over a \(Jf\)-relative monad ⋮ Remarks on units of skew monoidal categories ⋮ Indexed containers ⋮ Notions of computation as monoids ⋮ Elements of a theory of algebraic theories ⋮ Modules over relative monads for syntax and semantics ⋮ A Coq Library for Internal Verification of Running-Times ⋮ Unnamed Item ⋮ The universal exponentiable arrow

This page was built for publication: Monads Need Not Be Endofunctors