16 Nov
1994
16 Nov
'94
3:44 p.m.
J"urgen: I don't remember for sure since it's been more than 20 years, but I'm of the opinion that Grothendieck invented his universes to deal with functor categories without antinomies. I would start with Grothendieck and Verdier, Springer Lecture Notes 269-70, 1972 in articles by them mentioning the word "topos". egm