scientific article; zbMATH DE number 1129148
From MaRDI portal
Publication:4380422
zbMath0935.18005MaRDI QIDQ4380422
Publication date: 17 March 1998
Full work available at URL: https://eudml.org/doc/120206
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-category2-monadscoreflectivealgebra structurecategory with finite productsessentially uniquelax morphismslax-idempotentsproperty-like
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Lax orthogonal factorisation systems, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Hochschild homology, lax codescent, and duplicial structure, Probability, valuations, hyperspace: Three monads on top and the support as a morphism, Representable \((\mathbb{T},\mathbf{V})\)-categories, Enriched categories as a free cocompletion, Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\), Pseudo-commutativity of KZ 2-monads, Unnamed Item, Lex colimits, Two-dimensional monadicity, Enhanced 2-categories and limits for lax morphisms, Pseudoalgebras and non-canonical isomorphisms, Unnamed Item, On lifting of biadjoints and lax algebras, Yoneda structures and KZ doctrines, Pseudo-Kan Extensions and Descent Theory, Distributive laws via admissibility, Unnamed Item, Lax orthogonal factorisations in ordered structures, The existential completion, A 2-Categories Companion, Cofibrantly generated lax orthogonal factorisation systems, Codescent objects and coherence, The formal theory of monads. II, Limits for lax morphisms
