Axiomatic Method and Category Theory
History and Overview
2012-10-05 v1 Category Theory
Abstract
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.
Cite
@article{arxiv.1210.1478,
title = {Axiomatic Method and Category Theory},
author = {Andrei Rodin},
journal= {arXiv preprint arXiv:1210.1478},
year = {2012}
}
Comments
337 pages, 21 figures