Homotopy Type Theory: A synthetic approach to higher equalities

zbMath1496.18007arXiv1601.05035MaRDI QIDQ5040166

Michael Shulman

Publication date: 11 October 2022

Full work available at URL: https://arxiv.org/abs/1601.05035

Mathematics Subject Classification ID

Foundations, relations to logic and deductive systems (18A15) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

Related Items (6)

Representation and Spacetime: The Hole Argument Revisited ⋮ Klein-Weyl's program and the ontology of gauge and quantum systems ⋮ Why Categories? ⋮ New perspectives on the hole argument ⋮ The hole argument in homotopy type theory ⋮ The hole argument, take \(n\)

This page was built for publication: Homotopy Type Theory: A synthetic approach to higher equalities