"Barr M., Wells C. Toposes, Triples and Theories (web draft, 2000)(342s)_MAct_.pdf" - читать интересную книгу автора