PhilSci Archive

Axiomatic Method and Category Theory

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

[img]
Preview
 PDF - Draft Version
Download (3498Kb) | Preview

    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
    Keywords: axiomatic method, category theory, geometry, logic, intuition, structuralism
    Subjects: Specific Sciences > Mathematics
    Depositing User: Andrei Rodin
    Date Deposited: 25 Sep 2012 09:20
    Last Modified: 25 Sep 2012 09:20
    Item ID: 9336
    URI: http://philsci-archive.pitt.edu/id/eprint/9336

    Actions (login required)

    		 View Item

    Document Downloads