title: Axiomatic Method and Category Theory
metadata.name: dc.contributor.author
metadata.value: Rodin, A. V.
metadata.lang: -
metadata.name: dc.date.accessioned
metadata.value: 2015-08-28T06:49:07Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2015-08-28T06:49:07Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2012-09-25
metadata.lang: -
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/1721
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: en
metadata.lang: en_GB
metadata.name: dc.publisher
metadata.value: Springer
metadata.lang: en_GB
metadata.name: dc.relation.ispartofseries
metadata.value: Synthese Library;vol. 36
metadata.lang: -
metadata.name: dc.title
metadata.value: Axiomatic Method and Category Theory
metadata.lang: en_GB
metadata.name: dc.type
metadata.value: Article
metadata.lang: en_GB
resources.filename: 1210.1478v1.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/1721/1/1210.1478v1.pdf
resources.format: Adobe PDF
resources.description: Arxiv preprint
resources.size: 4,02 MB