Re: The omega-functor omega-category

I'm not sure what [_._] is supposed to mean - an internal hom functor?

This was supposed to be the "cartesian closed structure" of StrictOmegaCat, but since some say it is not a structure I'm not sure how to call it... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]