essentially small infinity category as locally small infinity category

Proposition

Let \(\mathcal{C}\) be an essentially small infinity category.
Then \(\mathcal{C}\) is also locally small

Proof

by joyal equivalence as fully faithful essentially surjective functor we may assume that \(\mathcal{C}\) is a small infinity category.
Then \(\mathrm{map}_{\mathcal{C}}(x,y)\) is a simplicial subset of \(\mathrm{Fun}(\Delta^1, \mathcal{C})\) which is small by infinity functor category of small categories as small category

Date: nil

Author: Anton Zakrewski

Created: 2024-12-10 Di 10:51