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

zbMATH Open1428.18036arXiv1610.02453MaRDI QIDQ4563232FDOQ4563232

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

Publication date: 7 June 2018

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.

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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elementary observations on 2-categorical limits
• Formal category theory: Adjointness for 2-categories
• The fundamental localic groupoid of a topos
• A construction of 2-filtered bicolimits of categories

Cited In (5)

• A general framework for the semantics of type theory
• A construction of 2-filtered bicolimits of categories
• Bilimits are bifinal objects
• Sigma limits in 2-categories and flat pseudofunctors
• Title not available (Why is that?)

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)