В книге излагается теория топосов, приобретающая в последнее время важное значение не только в логике, но и в геометрии и топологии. Воспроизведено в оригинальной авторской орфографии издания 1986 года (издательство "Наука").