"A gentle introduction to category theory. The calculational approach" - читать интересную книгу автора (Fokkinga M.M.)