Axiomatic Method and Category Theory
- Publication Year:
- Usage 4286
- Downloads 4286
- PhilSci-Archive 4286
- Repository URL:
- Most Recent Tweet View All Tweets
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.