9 Nov
2016
9 Nov
'16
3:01 p.m.
On Wed, Nov 09, 2016 at 02:44:45PM +0000, Paul B Levy wrote:
On 09/11/16 10:48, Thomas Streicher wrote:
What Eduardo means by "Giraud topos" is a category validating all conditions of the Giraud theorem with the exception of having a small generating family. These guys can be elementary toposes or not. There is Freyd's example where objects are set X with an ordinal indexed family of bijections from X to X
So they don't form a class.
Is there an example where the objects form a class?
(I like categories to have this property!)
That's not the problem. Objects do form a class! Eduardo rather thought that Freyd's example were not locally small. But it is! Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]