Repository URL:
http://philsci-archive.pitt.edu/id/eprint/9336
Author(s):
Rodin Andrei
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.

This preprint has 0 Wikipedia mention.