Axiomatic Method and Category Theory

Publication Year:
Usage 4286
Downloads 4286
Social Media 3
Tweets 3
Repository URL:
Andrei , Rodin
Most Recent Tweet View All Tweets
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.