Учебник теории категорий
Это учебник теории категорий, рассчитанный на программистов и математических логиков.