nLab Paolo Capriotti

• webpage

Selected writings

On a version of the Homotopy Type System with application to semi-simplicial types in homotopy type theory:

• Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler: Two-Level Type Theory and Applications [arXiv:1705.03307]

On quotient types and higher inductive types:

• Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Forsberg, Quotient inductive-inductive types, Foundations of Software Science and Computation Structures (FoSSaCS 2018), Lecture Notes in Computer Science 10803 (2018) [doi:10.1007/978-3-319-89366-2_16, arXiv:1612.02346]

Related entries

• internal category in homotopy type theory

• category object in an (infinity,1)-category

category: people