Textbook

Сначала прочесть инструкцию

ВАЖНО! ИНСТРУКЦИЯ ПО ИЗУЧЕНИЮ ТЕОРИИ КАТЕГОРИЙ.txt

Автор учебника теории категорий, рассчитанного на программистов и математических логиков отвечает на вопросы здесь https://dxdy.ru/topic115836.html