FOM: Grothendieck universes; Friedman/Grothendieck analogy

[Martin Schlottmann]

Stephen G Simpson wrote:
> 
> Colin Mclarty 17 Apr 1999 18:21:37 writes:
>
<snip>
> 
>  > Whatever restriction you place you must make sure it is compatible
>  > with all the constructions you want to do.
> 
> Perhaps you have lost the thread of what we are talking about.  If you
> think about the context of the discussion, I think you will
> immediately realize that I don't want to do any particular
> category-theoretic constructions.
<snip>

Actually, I would appreciate to see a fairly
comprehensive list of all the relevant,
intrinsic category-theoretic constructions,
together with considerations of "smallness"
etc. Embedding these constructions in ZF would
settle this kind of problem once and for
all time.

-- 
Martin Schlottmann