В независимом учат теорию категорий? Если да, то кто преподаёт и по какой книжке? Вот написал учебник
https://github.com/George66/Textbookпро топосы оттуда узнаете и бэкграунд будет.
Учили в курсе алгебры Шабата, но я тогда плохо все это понимал, сейчас категорий нет в курсе алгебры.
Вашу тему видел, скачал Вашу книгу и читаю сейчас. Спасибо!