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-monadsalgebra structurecategory with finite productscoreflectiveessentially 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

(36)

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

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)