26 Sep
2010
26 Sep
'10
5 a.m.
Dear Ross,
If V = 2Cat then V-Cat = 3Cat . . . and on it goes.
OK. So if V = omegaCat, then V-Cat = omegaCat. Now how do you define (recursively) the internal-hom of omegaCat? David [For admin and other information see: http://www.mta.ca/~cat-dist/ ]