∞-cat
Notes sobre ∞-categories
Subsimplices as functors
∙ 30 nov 20
Encoding CwFs in homotopy type theory
∙ 16 oct 20