8 citations · 10 across the 11 of their papers we have counts for
Showing 2012 · math.HOShow all
2 papers · 2 filters
math.HO2012
Axiomatic Method and Category Theory
Andrei Rodin
Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of heigher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical…
math.HO2012
Univalence and Constructive Identity
Andrei Rodin
The non-standard identity concept developed in the Homotopy Type theory allows for an alternative analysis of Frege's famous Venus example, which explains how empirical evidences j…