PhilSci Archive

Axiomatic Method and Category Theory

Andrei , Rodin (2012) Axiomatic Method and Category Theory. [Preprint]

[img]
Preview
PDF
catax.pdf - Draft Version

Download (3MB)

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Andrei , Rodinrodin@ens.fr
Keywords: axiomatic method, category theory, geometry, logic, intuition, structuralism
Subjects: Specific Sciences > Mathematics
Depositing User: Andrei Rodin
Date Deposited: 25 Sep 2012 13:20
Last Modified: 25 Sep 2012 13:20
Item ID: 9336
URI: http://philsci-archive.pitt.edu/id/eprint/9336

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item