Bilimits are bifinal objects

DOI10.1016/J.JPAA.2022.107137zbMATH Open1496.18013arXiv2103.16394OpenAlexW3140546295MaRDI QIDQ2154269FDOQ2154269

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)

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• Title not available (Why is that?)
• 2-limits and 2-terminal objects are too different
• Title not available (Why is that?)
• Yoneda lemma and representation theorem for double categories
• Bi-initial objects and bi-representations are not so different
• Flexible limits for 2-categories
• 2-final 2-functors
• On lax limits in \(\infty\)-categories
• Colimits in 2-dimensional slices
• Title not available (Why is that?)

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)