from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. Plural form of topos.
Sorry, no etymologies found.
Even though toposes appeared in the 1960's, in the context of algebraic geometry, again from the mind of Grothendieck, it was certainly Lawvere and Tierney's (1972) elementary axiomatization of a topos which gave impetus to its attaining foundational status.
Connections with intuitionistic mathematics were noted early on, and toposes are still used to investigate models of various aspects of intuitionism (Lambek