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

TL;DR

This paper introduces a new type of colimit called $\sigma$-filtered $\sigma$-colimits in 2-category theory, providing explicit constructions and proving their exactness properties, which are crucial for the theory of flat and pro-representable 2-functors.

Contribution

It constructs explicit $\sigma$-filtered $\sigma$-colimits of categories and proves their exactness properties, extending the understanding of limits in 2-category theory.

Findings

$\sigma$-filtered $\sigma$-colimits commute with finite weighted pseudo limits

A $\sigma$-filtered $\sigma$-colimit of exact categories is exact

Provides explicit constructions for $\sigma$-filtered $\sigma$-colimits

Abstract

Given a 2-category $\mathcal{A}$, a $2$-functor $\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$ and a distinguished 1-subcategory $\Sigma \subset \mathcal{A}$ 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 $(\mathcal{A}, \, \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.