Axiomatic Method and Category Theory

Por • 26 mar, 2020 • Sección: Crítica

Andrei Rodin

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.

arXiv:1210.1478v1 [math.HO]

History and Overview (math.HO); Category Theory (math.CT)

Post to Twitter

Escribe un comentario