30 Oct
2016
30 Oct
'16
3:06 a.m.
I would tend to assume that a "Grothendieck topos" is one bounded over "Set", whatever the current meaning of "Set" is, and in particular whether or not "Set" is classical. Thus, when working in the internal language of an arbitrary topos S, I would say "Grothendieck topos" to mean what *externally* to S would be called a bounded S-topos. On Fri, Oct 28, 2016 at 12:08 PM, David Yetter <dyetter@ksu.edu> wrote:
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/ ]