"Handbook of Categorical Algebra 1: Basic Category Theory " - читать интересную книгу автора (Francis Borceux)