Topos theory, the confluence of geometry and logic. (English) Zbl 0568.18003

Mathematics in the Gulf Area, Proc. 1st Int. Conf., Riyadh/Saudi Arabia 1982, 31-42 (1984).
[For the entire collection see Zbl 0561.00002.]
In this brief expository paper, the author describes basic definitions and some applications of topos theory.
Reviewer: A. Shchedrov


18B25 Topoi
18-02 Research exposition (monographs, survey articles) pertaining to category theory


Zbl 0561.00002