Grothendieck toposes

I, for one, would assume the same meaning for the phrase "Grothendieck topos" as is used in the Elephant. David Yetter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]