Re: The omega-functor omega-category

Dear David, You asked about recursive definitions of the category of (strict) omega-categories.

OK. So if V = omegaCat, then V-Cat = omegaCat.

More than that: omegaCat is the terminal coalgebra for the endofunctor V |--> V-Cat of the category of locally small categories with finite products. This can be regarded as a (co)recursive definition of omegaCat. As far as I know, this was first observed by Carlos Simpson. Best wishes, Tom [For admin and other information see: http://www.mta.ca/~cat-dist/ ]