Curriculum of Higher Topos Theory

This curriculum introduces the basic structures leading to $(\infty ,1)$-topoi.

Sequence

1. curricula/infinity-categories.md — Higher morphisms and homotopy-coherent composition.
2. curricula/infinity-topoi.md — Presentable $(\infty ,1)$-categories as higher topoi.
3. curricula/sheaves-of-spaces.md — Sheaves valued in spaces and geometric morphisms.

Glossary

• index.md