nLab Dimitris Tsementzis

webpage

Publications

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 univalence and the structure identity principle:

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

related $n$ Lab entries

meaning explanation

category: people

Last revised on June 14, 2025 at 18:28:48. See the history of this page for a list of all contributions to it.