Textbook

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