nLab Andrei Rodin

• webpage

Some writings

• Andrei Rodin, Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin (arXiv:2409.02935)

On a HoTT-inspired conception of mathematical structure put forward by Vladimir Voevodsky in our email exchange dating back to 2016, which he illustrated with a historical example of Euclid’s definition of plane angle.

• Andrei Rodin, Does Identity Have Sense? (PhilSci:23860)

On the concept of identity in HoTT including directed type theory.

On models of homotopy type theory:

• Andrei Rodin, Models of HoTT and the Constructive View of Theories, in: Reflections on the Foundations of Mathematics, Synthese Library 407 Springer (2019) [doi:10.1007/978-3-030-15655-8_9, pdf]

On foundations in categorical logic in view of homotopy type theory and other modern developments.

• Andrei Rodin, Axiomatic Method and Category Theory (arXiv:1210.1478)

• Andrei Rodin, On Constructive Axiomatic Method, arXiv:1408.3591.

category: people