Notes sobre ∞-categories

• Subsimplices as functors ∙ 30 nov 20
• Encoding CwFs in homotopy type theory ∙ 16 oct 20