scientific article; zbMATH DE number 1129148

MaRDI QIDQ4380422zbMATH OpenFDO

Authors Stephen Lack, Max Kelly

Publication date 17 March 1998

Full work available at URL https://eudml.org/doc/120206

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

2-category2-monadscoreflectivealgebra structurecategory with finite productsessentially uniquelax morphismslax-idempotentsproperty-like

Mathematics Subject Classification ID

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)

Recommendations

• Two-dimensional monadicity
• Two-dimensional monad theory
• From coherent structures to universal properties
• The formal theory of monoidal monads
• Symmetric monoidal structure with local character is a property

Cited in

(31)

• Yoneda structures and KZ doctrines
• The existential completion
• Pseudoalgebras and non-canonical isomorphisms
• Cofibrantly generated lax orthogonal factorisation systems
• Property theory and the revision theory of definitions
• Pseudo-Kan extensions and descent theory
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Distributive laws via admissibility
• Formal category theory in augmented virtual double categories
• Enhanced 2-categories and limits for lax morphisms
• A theory of properties
• A 2-categories companion
• Enriched categories as a free cocompletion
• Symmetric monoidal structure with local character is a property
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• Lax orthogonal factorisation systems
• On dualizable objects in monoidal bicategories
• Two-dimensional monadicity
• Lex colimits
• Codescent objects and coherence
• Representable \((\mathbb{T},\mathbf{V})\)-categories
• Lax orthogonal factorisations in ordered structures
• Kan extendable subcategories and fibrewise topology
• Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
• On lifting of biadjoints and lax algebras
• The formal theory of monads. II
• Pseudo-commutativity of KZ 2-monads
• Hochschild homology, lax codescent, and duplicial structure
• \(\ast\)-autonomous envelopes and conservativity
• Limits for lax morphisms
• scientific article; zbMATH DE number 6981655 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4380422)