Опубликована статья Андрея Родина
В книге Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts опубликована статья Андрея Родина "Models of HoTT and the Constructive View of Theories".
Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view.