Remark 4.7.0.5. Throughout this book, we will make reference to a dichotomy between “small” and “large” mathematical objects. We will generally take a somewhat informal view of this dichotomy, taking care only to avoid maneuvers which are obviously illegitimate (see Example 4.7.0.1). However, the reader who wishes to adopt a more scrupulous approach could proceed (within the framework of Zermelo-Fraenkel set theory) as follows:
Assume the existence of an uncountable strongly inaccessible cardinal $\operatorname{\textnormal{\cjRL {t}}}$ (see Definition 4.7.3.21).
Declare that an $\infty $-category $\operatorname{\mathcal{C}}$ is small (essentially small, locally small) if it is $\operatorname{\textnormal{\cjRL {t}}}$-small (essentially $\operatorname{\textnormal{\cjRL {t}}}$-small, locally $\operatorname{\textnormal{\cjRL {t}}}$-small), and apply similar conventions to other mathematical objects of interest (such as sets and categories).