locally small infinity category
Definition
Let \(\mathcal{C}\) be an infinity category.
Then \(\mathcal{C}\) is said to be locally small, if the mapping space is an essentially small infinity category
Let \(\mathcal{C}\) be an infinity category.
Then \(\mathcal{C}\) is said to be locally small, if the mapping space is an essentially small infinity category
Date: nil
Created: 2024-12-10 Di 10:51