по факту ток для того, чтобы норм видеть landscape теории (типа откуда тут K теории? ну делаем пучки колец), хз как его применять.
Его теоремы уровня функтор переводит изоморфизм в изоморфизм
Объекты не определяет экзистенциально, то есть не строит.
Топосы вообще уважают ток интуиционистскую логику в первую очередь, что тоже далеко от практики
https://github.com/CyberCat-Institute/open-game-engine
Обсуждают сегодня