"Toposes, algebraic geometry and logic" - читать интересную книгу автора (F. W. Lawvere (editor))