"Conceptual Mathematics: A First Introduction to Categories" - читать интересную книгу автора (F. William Lawvere, Stephen Hoel Schanuel)