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.
Categories: math.CT