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