The Univalence Principle
From MaRDI portal
Publication:6360428
arXiv2102.06275MaRDI QIDQ6360428
Paige Randall North, Benedikt Ahrens, Michael Shulman, Dimitris Tsementzis
Publication date: 11 February 2021
Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Type theory (03B38) Higher categories and homotopical algebra (18N99)
This page was built for publication: The Univalence Principle
