|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Axiomatic Method and Category Theory (Synthese Library, vol. 364)книга
- Автор: Rodin Andrei
- Год издания: 2014
- Место издания: Springer
- Объём: 285 страниц
- ISBN: 978-3-319-00403-7
- Монография
- DOI: 10.1007/978-3-319-00404-4
- Аннотация: 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.
- Добавил в систему: Золин Евгений Евгеньевич