Enhanced 2-categories and limits for lax morphisms
From MaRDI portal
(Redirected from Publication:655343)
Abstract: We study limits in 2-categories whose objects are categories with extra structure and whose morphisms are functors preserving the structure only up to a coherent comparison map, which may or may not be required to be invertible. This is done using the framework of 2-monads. In order to characterize the limits which exist in this context, we need to consider also the functors which do strictly preserve the extra structure. We show how such a 2-category of weak morphisms which is "enhanced", by specifying which of these weak morphisms are actually strict, can be thought of as category enriched over a particular base cartesian closed category F. We give a complete characterization, in terms of F-enriched category theory, of the limits which exist in such 2-categories of categories with extra structure.
Recommendations
Cites work
- scientific article; zbMATH DE number 2125669 (Why is no real title available?)
- scientific article; zbMATH DE number 3783245 (Why is no real title available?)
- scientific article; zbMATH DE number 1295627 (Why is no real title available?)
- scientific article; zbMATH DE number 1129148 (Why is no real title available?)
- scientific article; zbMATH DE number 2172008 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- A characterization of pie limits
- A coherent approach to pseudomonads
- A reflection theorem for closed categories
- Codescent objects and coherence
- Doctrines on 2-categories
- Elementary observations on 2-categorical limits
- Enriched categories, internal categories and change of base
- Flexible limits for 2-categories
- Formal category theory: Adjointness for 2-categories
- Framed bicategories and monoidal fibrations
- Homotopy-theoretic aspects of 2-monads
- Limits for lax morphisms
- Monads for which structures are adjoint to units
- Natural weak factorization systems.
- The closure of a class of colimits
- The comprehensive factorization of a functor
- The formal theory of monads
- Two-dimensional monad theory
- Understanding the small object argument
Cited in
(31)- Lifting PIE limits with strict projections
- Accessible aspects of 2-category theory
- scientific article; zbMATH DE number 2236038 (Why is no real title available?)
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- scientific article; zbMATH DE number 7052238 (Why is no real title available?)
- A colimit decomposition for homotopy algebras in Cat
- Lax familial representability and lax generic factorizations
- Skew-enriched categories
- What is the universal property of the 2-category of monads?
- Bilimits are bifinal objects
- Enriched categories as a free cocompletion
- A general limit lifting theorem for 2-dimensional monad theory
- scientific article; zbMATH DE number 1463530 (Why is no real title available?)
- Lax orthogonal factorisation systems
- Two-dimensional monadicity
- The symmetric monoidal 2-category of permutative categories
- The oplax limit of an enriched category
- On lax epimorphisms and the associated factorization
- Codescent objects and coherence
- Monads and distributive laws for Rota-Baxter and differential algebras
- Triposes, q-toposes and toposes
- Elementary observations on 2-categorical limits
- scientific article; zbMATH DE number 6667093 (Why is no real title available?)
- Pseudo-commutativity of KZ 2-monads
- Contravariance through enrichment
- On semiflexible, flexible and pie algebras
- The formal theory of relative monads
- Colimits in 2-dimensional slices
- Limits for lax morphisms
- Not every pseudoalgebra is equivalent to a strict one
- Two-dimensional regularity and exactness
This page was built for publication: Enhanced 2-categories and limits for lax morphisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q655343)
