Spahn HTT, 1. an overview of higher category theory (Rev #1, changes)

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

1.1 Foundations for higher category theory

$\infty$-categories as simplicial sets

$\infty$-categories as categories enriched in

1. $sSet$

2. $Top_CG$

1.2 The language of higher category theory

1.2 basic infinity-category theory