Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
The notion of locally small -category is the generalization of the notion of locally small category from category theory to (∞,1)-category theory.
A quasi-category is locally small if for all objects the hom ∞-groupoid is essentially small.
This appears as HTT, below prop. 5.4.1.7.
A quasi-category is locally small precisely if the following equivalent condition holds:
for every small set of objects in , the full sub-quasi-category on is essentially small.
This is the topic of section 5.4.1 of
Created on April 14, 2010 at 18:20:09. See the history of this page for a list of all contributions to it.