Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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 | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.