nLab Evan Cavallo

Selected writings and talks

On algebraic weak factorization systems and the algebraic small object argument:

A constructive model of homotopy type theory in a Quillen model category of equivariantly fibrant cartesian cubical sets that classically presents the usual homotopy theory of spaces:

On the cubical sets over the cube category with cartesian structure and one connection, and the fact that the Quillen model category associated to its model of homotopy type theory classically presents the usual homotopy theory of spaces:

On combining parametric dependent type theory with cubical type theory:

On models of homotopy type theory and cubical type theory:

On a schema for higher inductive types in cubical type theory:

On generalized (Eilenberg-Steenrod) cohomology formulated in homotopy type theory (cf. cohomology in homotopy type theory):

  • Evan Cavallo, Synthetic Cohomology in Homotopy Type Theory (2015). Master’s Thesis. Carnegie Mellon University, USA. [pdf, pdf]

Dissertation

  • Evan Cavallo, Higher Inductive Types and Internal Parametricity for Cubical Type Theory (2021). Ph. D. Dissertation. Carnegie Mellon University, USA. [doi:10.1184/r1/14555691]
category: people

Last revised on June 4, 2025 at 09:02:23. See the history of this page for a list of all contributions to it.