"Categories for the working mathematician" - читать интересную книгу автора (Saunders Mac Lane)