retracts of a small subcategory as essentially small subcategory
Proposition
Let be a locally small infinity category, a small full infinity subcategory.
Then the subcategory of infinity retract is essentially small infinity category.
Proof
Let be a retract with for some .
Then this determines a morphism .
It remains to show, that that two retracts with are equivalent.
Consider
which is an equivalence