equivalences in/of $(\infty,1)$-categories
The generalization of the notion of accessible functor from category theory to (∞,1)-category theory.
An (∞,1)-functor $F : C \to D$ is accessible if $C$ is an accessible (∞,1)-category and there is a regular cardinal $\kappa$ such that $F$ preserves $\kappa$-small filtered colimits.
This appears as HTT, def. 5.4.2.5.
If an $(\infty,1)$-functor between accessible (∞,1)-categories has a left or right adjoint (∞,1)-functor, then it is itself accessible.
This is HTT, prop. 5.4.7.7.
Section 5.4.2 of
Last revised on September 19, 2010 at 14:19:04. See the history of this page for a list of all contributions to it.