"Toposes, Triples and Theories" - читать интересную книгу автора (Michael Barr, Charles Wells)