[[!redirects 5. presentable and accessible infinity-categories]] ### 5.1 Presheaves ### 5.2 Adjoint functors ### 5.3 $\infty$-categories of inductive limits Definition 5.2.2.1 Proposition 5.2.2.6 Proposition 5.2.2.8 Proposition 5.2.2.9 Proposition 5.2.2.12 Proposition 5.2.3.5 Adjoint functors preserve (co)limits ### 5.4 Accessible $\infty$-categories #### 5.4.2 +-- {: .un_defn} ###### Definition 5.4.2.1 =-- +-- {: .un_prop} ###### Proposition 5.4.2.2 =-- #### 5.4.4 +-- {: .un_prop} ###### Proposition 5.4.4.3 =-- ### 5.5 Presentable $\infty$-categories +-- {: .un_defn} ###### Definition 5.5.0.1 =-- #### 5.5.1 +-- {: .un_theorem} ###### Theorem 5.5.1.1 =--