Spahn a reading guide to HTT (Rev #15, changes)

Showing changes from revision #14 to #15: Added | ~~Removed~~ | ~~Chan~~ged

This entry is about the text

This book has prerequisites: category theory (see also the exposition in appendix A.1), in particular realization and nerve.

The reading strategy outlined here is approximately the following:

Start with appendix A.2.
Continue with the overview chapter 1.
Chapter 2 developes the theory of fibrations of simplicial sets.The aims of this are mainly three different concerns:
- Establishing the $\infty$ -Grothendieck construction: The type of fibrations accomplishing this are left/right fibrations (aka. fibrations in groupoids) and cartesian fibrations (aka. Grothendieck fibrations).
- Preparing the Joyal model structure: This is a foundational topic; the fibrant objects of this model structure are precisely $/ ∞ infty$ ~~/infty~~ \infty-categories. The technical vehicle for this are anodyne maps.
- Provide a foundations for a theory of $n$ -categories, for any $n\le\infty$ . For the well definedness of this notion minimal fibrations (a special kind of inner fibrations) are introduced.
Omit chapter 3.
The rest of the book is concerned with constructions which in most cases are proposed in chapter 2. So concentrate on the following important topics:
- the Grothendieck construction (already in chapter 2), Grothendieck construction in HTT
- the Yoneda lemma and presheaves, Yoneda lemma in HTT?
- limits and colimits
- ind-objects
- adjoint functors
- $\infty$ -topoi