Bilimits are bifinal objects

DOI10.1016/J.JPAA.2022.107137MaRDI QIDQ2154269zbMATH OpenOpenAlexFDO

Authors Andrea Gagna, Yonatan Harpaz, Edoardo Lanari

Publication date 19 July 2022

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2103.16394

Mathematics Subject Classification ID

Fibered categories (18D30) 2-categories, bicategories, double categories (18N10) Formal category theory (18D70)

Abstract: We prove that a (lax) bilimit of a 2-functor is characterized by the existence of a limiting contraction in the 2-category of (lax) cones over the diagram. We also investigate the notion of bifinal object and prove that a (lax) bilimit is a limiting bifinal object in the category of cones. Everything is developed in the context of marked 2-categories, so that the machinery can be applied to different levels of laxity, including pseudo-limits.

Recommendations

• A construction of certain weak colimits and an exactness property of the 2-category of categories
• 2-limits and 2-terminal objects are too different
• Elementary observations on 2-categorical limits
• Enhanced 2-categories and limits for lax morphisms
• A general limit lifting theorem for 2-dimensional monad theory
• Bi-initial objects and bi-representations are not so different
• Limits for lax morphisms
• A construction of 2-filtered bicolimits of categories
• A 2-categories companion
• Flexible limits for 2-categories

Cites work

• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3567036 (Why is no real title available?)
• scientific article; zbMATH DE number 2218896 (Why is no real title available?)
• A 2-categories companion
• A Quillen model structure for 2-categories
• A Quillen model structure for bicategories
• A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof
• A notion of limit for enriched categories
• A theory of 2-pro-objects
• Elementary observations on 2-categorical limits
• Fibred 2-categories and bicategories
• Formal category theory: Adjointness for 2-categories
• Gray tensor products and lax functors of \((\infty, 2)\)-categories
• Join and slices for strict $\infty$-categories
• Limits indexed by category-valued 2-functors
• Local adjunctions
• Nerves of Multiple Categories
• Quillen closed model structures for sheaves
• Sigma limits in 2-categories and flat pseudofunctors
• Some properties of Fib as a fibred \(2\)-category
• Theorem A for marked 2-categories

Cited in

(10)

• scientific article; zbMATH DE number 2218900 (Why is no real title available?)
• Yoneda lemma and representation theorem for double categories
• On lax limits in \(\infty\)-categories
• Bi-initial objects and bi-representations are not so different
• Flexible limits for 2-categories
• scientific article; zbMATH DE number 5510996 (Why is no real title available?)
• scientific article; zbMATH DE number 4063333 (Why is no real title available?)
• Colimits in 2-dimensional slices
• 2-limits and 2-terminal objects are too different
• 2-final 2-functors

This page was built for publication: Bilimits are bifinal objects

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