Monads need not be endofunctors
From MaRDI portal
Publication:5177334
DOI10.2168/LMCS-11(1:3)2015zbMath1448.18007arXiv1412.7148OpenAlexW2402322558WikidataQ61583710 ScholiaQ61583710MaRDI QIDQ5177334
Tarmo Uustalu, James T. E. Chapman, Thorsten Altenkirch
Publication date: 11 March 2015
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1412.7148
Functional programming and lambda calculus (68N18) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (27)
Cartesian differential categories as skew enriched categories ⋮ Eilenberg-Kelly reloaded ⋮ The sequent calculus of skew monoidal categories ⋮ Coherence via focusing for symmetric skew monoidal categories ⋮ Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures ⋮ Directed Containers as Categories ⋮ Proof Theory of Partially Normal Skew Monoidal Categories ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ A skew approach to enrichment for Gray-categories ⋮ Flexibly graded monads and graded algebras ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Divergences on monads for relational program logics ⋮ Variable binding and substitution for (nameless) dummies ⋮ Distributive laws for relative monads ⋮ Linearity and uniqueness: an entente cordiale ⋮ Variable binding and substitution for (nameless) dummies ⋮ C-system of a module over a \(Jf\)-relative monad ⋮ Maximally multi-focused proofs for skew non-commutative \texttt{MILL} ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Unnamed Item ⋮ Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) ⋮ High-level signatures and initial semantics ⋮ Heterogeneous Substitution Systems Revisited ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
Uses Software
This page was built for publication: Monads need not be endofunctors
