"Categories and functors " - читать интересную книгу автора (Bodo Pareigis)