scientific article; zbMATH DE number 1129148

zbMATH Open0935.18005MaRDI QIDQ4380422FDOQ4380422

Authors: Stephen Lack, Max Kelly 

Publication date: 17 March 1998

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

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (31)

• Yoneda structures and KZ doctrines
• The existential completion
• Pseudoalgebras and non-canonical isomorphisms
• Property theory and the revision theory of definitions
• Cofibrantly generated lax orthogonal factorisation systems
• Pseudo-Kan extensions and descent theory
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Formal category theory in augmented virtual double categories
• Distributive laws via admissibility
• A theory of properties
• Enhanced 2-categories and limits for lax morphisms
• 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
• On dualizable objects in monoidal bicategories
• Lax orthogonal factorisation systems
• 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
• On lifting of biadjoints and lax algebras
• Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\)
• The formal theory of monads. II
• Hochschild homology, lax codescent, and duplicial structure
• Pseudo-commutativity of KZ 2-monads
• \(\ast\)-autonomous envelopes and conservativity
• Limits for lax morphisms
• Title not available (Why is that?)

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)