Notes sobre ∞-categories

• Encoding CwFs in Homotopy Type Theory ∙ 2 nov 20