R: disjoint_coproducts_?

Since CC is internal to SS which is assumed as different from Set it doesn't make sense to consider an infinite disjunction over all arrows f: C --> X for C in CC.

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. Olivia [For admin and other information see: http://www.mta.ca/~cat-dist/ ]