Andrei , Rodin (2012) Axiomatic Method and Category Theory. [Preprint]
|
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: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | axiomatic method, category theory, geometry, logic, intuition, structuralism | ||||||
Subjects: | Specific Sciences > Mathematics | ||||||
Depositing User: | Dr. Andrei Rodin | ||||||
Date Deposited: | 25 Sep 2012 13:20 | ||||||
Last Modified: | 25 Sep 2012 13:20 | ||||||
Item ID: | 9336 | ||||||
Subjects: | Specific Sciences > Mathematics | ||||||
Date: | 22 September 2012 | ||||||
URI: | https://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 |