MacLane, Saunders 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 MSC: 18B25 Topoi 18-02 Research exposition (monographs, survey articles) pertaining to category theory Keywords:expository paper; topos Citations:Zbl 0561.00002 × Cite Format Result Cite Review PDF