"Categories, Allegories (North-Holland Mathematical Library)" - читать интересную книгу автора (P.J. Freyd, A. Scedrov)