Background
Basic concepts
equivalences in/of $(\infty,1)$-categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
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.