Re: V-included categories

I always thought that U-category means a category living in universe U. Working in ZFC with the axiom every set is element of a Grothendieck universe then is a very convenient setting. But apparently that's not what Grothendieck did. Very strange! Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]