The formal theory of monads. II

DOI10.1016/S0022-4049(02)00137-8zbMath1019.18002WikidataQ56687299 ScholiaQ56687299MaRDI QIDQ1850104

Stephen Lack, Ross H. Street

Publication date: 2 December 2002

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

2-category; free completion; Eilenberg-Moore construction; formal theory of monads; generalized distributive laws; wreaths

Mathematics Subject Classification ID

18G15: Ext and Tor, generalizations, Künneth formula (category-theoretic aspects)

18A35: Categories admitting limits (complete categories), functors preserving limits, completions

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

18C20: Eilenberg-Moore and Kleisli constructions for monads

Related Items

Frobenius monads and pseudomonoids, The Serre spectral sequence of a noncommutative fibration for de Rham cohomology, Distributive laws and factorization, Metric, topology and multicategory -- a common approach, The bicategories of corings., Algebras versus coalgebras, Operads within monoidal pseudo algebras, Coherence for product monoids and their actions, A factorization of regularity, Corings over rings with local units, Compatibility Conditions Between Rings and Corings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Variation through enrichment
• The geometry of tensor calculus. I
• Limits indexed by category-valued 2-functors
• Representable multicategories
• A coherent approach to pseudomonads
• Distributive laws and factorization
• Monads for which structures are adjoint to units
• The formal theory of monads
• Categories of continuous functors. I
• Introduction to bicategories
• Cohomology of Algebras Over Hopf Algebras