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