Аннотация:
Аппарат теории категорий представляет собой удобный фреймворк для работы с классами математических структур. Будут изложены основные понятия и концепты теории категорий, необходимые для последующих семинаров, посвященных категорной логике. Сперва мы в общих чертах поговорим о категориях, функторах и естественных преобразованиях, затем посмотрим на некоторые важные конструкции внутри категорий (в частности, на произведения и экспоненциалы). Также планируется рассмотреть эти конструкции на более высоком уровне с использованием понятий предела и сопряженных функторов.
