Ok, I see. But as I told Eduardo in a non-public mail it also holds over arbitrary base toposes as can be seen from p.51 of Bunge and Funk's SLNM book and (the proof of) Th.10.5 of my notes on fibered categories. Thomas

It seems to me that Eduardo assumed CC to be a site for EE in the classical sense, i.e. not a site internal to SS but to Set (since he wrote that "CC has objects, and that these objects are objects of EE which are generators in the sense that given any X in EE, the family of all f: C ---> X, all C in CC, is epimorphic"); so an infinite disjunction makes sense in this case.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]