"An Introduction to Category Theory" - читать интересную книгу автора (Harold Simmons)