Kerodon
$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$
about
changes
recent comments
bibliography
about
changes
recent comments
bibliography
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Kerodon
an online resource for homotopy-coherent mathematics
Forage
Part I
: Higher Category Theory
Chapter 1
: The Language of $\infty $-Categories
Chapter 2
: Examples of $\infty $-Categories
