Архив открытого доступаСанкт-Петербургского государственного университета
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/1721Полная запись метаданных
| Поле DC | Значение | Язык |
|---|---|---|
| dc.contributor.author | Rodin, A. V. | - |
| dc.date.accessioned | 2015-08-28T06:49:07Z | - |
| dc.date.available | 2015-08-28T06:49:07Z | - |
| dc.date.issued | 2012-09-25 | - |
| dc.identifier.uri | http://hdl.handle.net/11701/1721 | - |
| dc.description.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. | en_GB |
| dc.language.iso | en | en_GB |
| dc.publisher | Springer | en_GB |
| dc.relation.ispartofseries | Synthese Library;vol. 36 | - |
| dc.title | Axiomatic Method and Category Theory | en_GB |
| dc.type | Article | en_GB |
| Располагается в коллекциях: | Articles | |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 1210.1478v1.pdf | Arxiv preprint | 4,02 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.