Kerodon
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
