"Handbook of categorical algebra. Basic category theory" - читать интересную книгу автора (Francis Borceux)