×

Lattice theoretic and logical aspects of elementary topoi. (English) Zbl 0345.18006


MSC:

18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
03F55 Intuitionistic mathematics
18-02 Research exposition (monographs, survey articles) pertaining to category theory