Axiomatic Method and Category Theory

Publication Year:
Usage 4096
Downloads 4096
Social Media 5
Tweets 5
Repository URL:
Andrei , Rodin
preprint description
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 Hibert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in Categorical logic opens new possibilities for using this method in physics and other natural sciences.