activity
20212026
most citedKripke-Joyal forcing for type theory and uniform fibrations

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing math.ATShow all

1 paper · 1 filter

math.AT2024

The equivariant model structure on cartesian cubical sets

Steve Awodey, Evan Cavallo, Thierry Coquand +2

We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves…