On the construction of limits and colimits in $\infty$-categories

TL;DR

This paper provides criteria to determine when various types of $$-categories are complete and cocomplete, enabling the construction of all small limits and colimits via inductive methods.

Contribution

It introduces a framework for establishing the existence of all small limits and colimits in $$-categories using skeletal filtrations and universal property modules.

Findings

Criteria for completeness and cocompleteness of $$-categories.

Construction of (co)limits from skeletal filtrations.

Yoneda embedding preserves and reflects limits.

Abstract

In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an $\infty$-category - for instance, a quasi-category, a complete Segal space, or a Segal category - is complete and cocomplete, admitting limits and colimits indexed by any small simplicial set. Our strategy is to build (co)limits of diagrams indexed by a simplicial set inductively from (co)limits of restricted diagrams indexed by the pieces of its skeletal filtration. We show directly that the modules that express the universal properties of (co)limits of diagrams of these shapes are reconstructable as limits of the modules that express the universal properties of (co)limits of the restricted diagrams. We also prove that the Yoneda embedding preserves and reflects limits in a suitable sense, and deduce our main theorems as a consequence.