Spahn HTT, 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

Definition 5.4.2.1

Proposition 5.4.2.2

5.4.4

Proposition 5.4.4.3

5.5 Presentable $\infty$-categories

Definition 5.5.0.1

5.5.1

Theorem 5.5.1.1