On generalized (Eilenberg-Steenrod) cohomology formulated in homotopy type theory (cf. cohomology in homotopy type theory):
On the cube category with cartesian structure and one connection:
A constructive model of homotopy type theory in a Quillen model category of equivariant cartesian cubical sets that classically presents the usual homotopy theory of spaces:
Last revised on March 22, 2025 at 00:36:11. See the history of this page for a list of all contributions to it.