Enhanced 2-categories and limits for lax morphisms
From MaRDI portal
Publication:655343
DOI10.1016/J.AIM.2011.08.014zbMATH Open1236.18006arXiv1104.2111OpenAlexW2004020810MaRDI QIDQ655343FDOQ655343
Authors: Stephen Lack, Michael Shulman 
Publication date: 4 January 2012
Published in: Advances in Mathematics (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1104.2111
Recommendations
Cites Work
- The comprehensive factorization of a functor
- Understanding the small object argument
- The closure of a class of colimits
- Monads for which structures are adjoint to units
- Two-dimensional monad theory
- Codescent objects and coherence
- The formal theory of monads
- Enriched categories, internal categories and change of base
- Title not available (Why is that?)
- Title not available (Why is that?)
- Homotopy-theoretic aspects of 2-monads
- A reflection theorem for closed categories
- Doctrines on 2-categories
- Natural weak factorization systems.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Framed bicategories and monoidal fibrations
- Elementary observations on 2-categorical limits
- Formal category theory: Adjointness for 2-categories
- A coherent approach to pseudomonads
- Flexible limits for 2-categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- A characterization of pie limits
- Limits for lax morphisms
Cited In (31)
- Lifting PIE limits with strict projections
- Accessible aspects of 2-category theory
- Title not available (Why is that?)
- Algebraic Kan extensions along morphisms of internal algebra classifiers
- Title not available (Why is that?)
- Lax familial representability and lax generic factorizations
- A colimit decomposition for homotopy algebras in Cat
- What is the universal property of the 2-category of monads?
- Skew-enriched categories
- Bilimits are bifinal objects
- Enriched categories as a free cocompletion
- A general limit lifting theorem for 2-dimensional monad theory
- Title not available (Why is that?)
- The symmetric monoidal 2-category of permutative categories
- The oplax limit of an enriched category
- Lax orthogonal factorisation systems
- Two-dimensional monadicity
- 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
- Title not available (Why is that?)
- Contravariance through enrichment
- Pseudo-commutativity of KZ 2-monads
- The formal theory of relative monads
- On semiflexible, flexible and pie algebras
- 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)
