nLab compactly assembled (∞,1)-category

Contents

Context

(,1)(\infty,1)-Category theory

Compact objects

Contents

Idea and definition

Compactly assembled (∞,1)-categories are characterized among presentable (∞,1)-categories by the following equivalent conditions (due to Clausen and Lurie):

Examples

(∞,1)-sheaves of ∞-groupoids on a locally compact Hausdorff topological space form a compactly assembled (∞,1)-category.

References

Last revised on March 19, 2024 at 06:15:50. See the history of this page for a list of all contributions to it.