Publication:4380422
From MaRDI portal
zbMath0935.18005MaRDI QIDQ4380422
Publication date: 17 March 1998
Full work available at URL: https://eudml.org/doc/120206
2-category; 2-monads; coreflective; algebra structure; category with finite products; essentially unique; lax morphisms; lax-idempotents; property-like
18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
Related Items
Limits for lax morphisms, Codescent objects and coherence, The formal theory of monads. II, A 2-Categories Companion