"Conceptual mathematics: A first introduction to categories" - читать интересную книгу автора (Lawvere F.W., Schanuel S.H.)