On structuralism and the structure identity principle in univalent foundations of mathematics:

- Dimitris Tsementzis,
*Univalent foundations as structuralist foundations*, Synthese**194**9 (2017) 3583–3617 [jstor:26748765, doi:10.1007/s11229-016-1109-x, pdf]

On the univalence axiom:

- Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis,
*The Univalence Principle*(arXiv:2102.06275)

category: people

Last revised on February 1, 2023 at 11:30:05. See the history of this page for a list of all contributions to it.