A construction of certain weak colimits and an exactness property of the 2-category of categories

MaRDI QIDQ4563232zbMATH OpenFDO

Authors Eduardo J. Dubuc, María Emilia Descotte, Martín Szyld

Publication date 7 June 2018

Full work available at URL https://arxiv.org/abs/1610.02453, http://www.tac.mta.ca/tac/volumes/33/8/33-08abs.html

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

zbMATH Keywords

2-categoryweak colimitexactness propertyfiltered

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) 2-categories, bicategories, double categories (18N10)

Abstract: Given a 2-category $mathcalA$, a $2$-functor $mathcalAoversetFlongrightarrowmathcalCat$ and a distinguished 1-subcategory $SigmasubsetmathcalA$ containing all the objects, a $sigma$-cone for $F$ (with respect to $Sigma$) is a lax cone such that the structural $2$-cells corresponding to the arrows of $Sigma$ are invertible. The conical $sigma$-limit is the universal (up to isomorphism) $sigma$-cone. The notion of $sigma$-limit generalises the well known notions of pseudo and lax limit. We consider the fundamental notion of $sigma$-filtered} pair $(mathcalA,,Sigma)$ which generalises the notion of 2-filtered 2-category. We give an explicit construction of $sigma$-filtered $sigma$-colimits of categories, construction which allows computations with these colimits. We then state and prove a basic exactness property of the 2-category of categories, namely, that $sigma$-filtered $sigma$-colimits commute with finite weighted pseudo (or bi) limits. An important corollary of this result is that a $sigma$-filtered $sigma$-colimit of exact category valued 2-functors is exact. This corollary is essential in the 2-dimensional theory of flat and pro-representable 2-functors, that we develop elsewhere.

Recommendations

• Sigma limits in 2-categories and flat pseudofunctors
• Flat vs. filtered colimits in the enriched context
• scientific article; zbMATH DE number 2218900
• A construction of 2-filtered bicolimits of categories
• A theory of 2-pro-objects

Cites work

• scientific article; zbMATH DE number 4008629 (Why is no real title available?)
• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 929701 (Why is no real title available?)
• A construction of 2-filtered bicolimits of categories
• Elementary observations on 2-categorical limits
• Formal category theory: Adjointness for 2-categories
• The fundamental localic groupoid of a topos

Cited in

(7)

• A general framework for the semantics of type theory
• A construction of 2-filtered bicolimits of categories
• A theory of 2-pro-objects
• Bilimits are bifinal objects
• Sigma limits in 2-categories and flat pseudofunctors
• Colimits in 2-dimensional slices
• scientific article; zbMATH DE number 2218900 (Why is no real title available?)

This page was built for publication: A construction of certain weak colimits and an exactness property of the 2-category of categories

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