"Elementary Categories, Elementary Toposes (Oxford Logic Guides, Volume 21)" - читать интересную книгу автора (Colin McLarty)