"Topos" . "Topos#Elementary topoi (topoi in logic)" . "Grothendieck toposes" . "Topos" . . "Topos#Logical functors" . . "topoi" . . "topos" . "geometric morphism" . "Topos#Elementary_toposes_.28toposes_in_logic.29" . . . . "topos theory" . "Grothendieck topos" . "Topos#Equivalent definitions" . . . . "Grothendieck topoi" . "pretopos" . . . "Elementary topos" . . . . "Further examples" . "Topoi" . . "Topos theory" . . "ringed topoi" . .