The formal theory of monads. II
From MaRDI portal
Publication:1850104
DOI10.1016/S0022-4049(02)00137-8zbMath1019.18002WikidataQ56687299 ScholiaQ56687299MaRDI QIDQ1850104
Publication date: 2 December 2002
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
2-categoryfree completionEilenberg-Moore constructionformal theory of monadsgeneralized distributive lawswreaths
Ext and Tor, generalizations, Künneth formula (category-theoretic aspects) (18G15) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
A bicategorical approach to actions of monoidal categories ⋮ The bicategories of corings. ⋮ Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones ⋮ Interacting Hopf algebras ⋮ Lax distributive laws for topology, II ⋮ The HOL-Omega Logic ⋮ Strictification tensor product of 2-categories ⋮ EXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGS ⋮ The Serre spectral sequence of a noncommutative fibration for de Rham cohomology ⋮ Frobenius monads and pseudomonoids ⋮ Wreaths, mixed wreaths and twisted coactions ⋮ Span composition using fake pullbacks ⋮ Frobenius and separable functors for the category of entwined modules over cowreaths. I: general theory ⋮ Weak crossed biproducts and weak projections. ⋮ Quantalic topological theories ⋮ Algebras versus coalgebras ⋮ Distributive laws for relative monads ⋮ Algebraic theory of vector-valued integration ⋮ Frobenius cowreaths and Morita contexts ⋮ Enriched categories as a free cocompletion ⋮ Operads within monoidal pseudo algebras ⋮ Coherence for product monoids and their actions ⋮ On adjunction contexts and regular quasi-monads ⋮ On operads, bimodules and analytic functors ⋮ Ionads ⋮ Monoidal ring and coring structures obtained from wreaths and cowreaths. ⋮ The Morita theory of quantum graph isomorphisms ⋮ Crossed products over weak Hopf algebras related to cleft extensions and cohomology ⋮ On Frobenius and separable Galois cowreaths ⋮ Idempotent splittings, colimit completion, and weak aspects of the theory of monads ⋮ Frobenius Monoidal Algebras and Related Topics ⋮ LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES ⋮ Bimonads and Hopf monads on categories ⋮ Polynomial functors and polynomial monads ⋮ Monads on \(\mathcal{Q} - \mathbf{Cat}\) and their lax extensions to \(\mathcal{Q} - \mathbf{Dist}\) ⋮ The algebra of partial equivalence relations ⋮ Monads in double categories ⋮ Internal Kleisli categories ⋮ Lawvere Categories as Composed PROPs ⋮ The weak theory of monads ⋮ Comodules and Corings ⋮ Crossed products in weak contexts. ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ Internal split opfibrations and cofunctors ⋮ Preunits and weak crossed products ⋮ Unnamed Item ⋮ Galois and cleft monoidal cowreaths. Applications ⋮ Corings over rings with local units ⋮ On the formal theory of pseudomonads and pseudodistributive laws ⋮ Compatibility Conditions Between Rings and Corings ⋮ A 2-Categories Companion ⋮ An Australian Conspectus of Higher Categories ⋮ A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories ⋮ A factorization of regularity ⋮ Distributive laws and factorization ⋮ Unnamed Item ⋮ Paired wreaths: 2-categorical background of a class of cross products ⋮ Metric, topology and multicategory -- a common approach
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The formal theory of monads. II
