nLab Dimitris Tsementzis

Publications

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

On univalence and the structure identity principle:

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.