nLab finitely complete (infinity,1)-category

Contents

Idea

Finitely complete $(\infty,1)$ -categories are the analog in (∞,1)-category theory of finitely complete categories in category theory.

Let $\mathcal{C}$ be an (∞,1)-category. This is called a finitely complete $(\infty,1)$ -category if $\mathcal{C}$ has finite (∞,1)-limits, i.e.

Last revised on July 7, 2023 at 18:14:09. See the history of this page for a list of all contributions to it.