Spahn HTT, 5. presentable and accessible infinity-categories (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

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

5.4.4

5.5 Presentable $\infty$-categories

5.5.1