25 Sep
2010
25 Sep
'10
1:13 a.m.
Given two strict omega-categories C and D, how do you define the strict omega-category of omega-functors between C and D?
There is the Crans-Gray tensor product on StrOmegaCat that makes it biclosed monoidal. So for G^n the standard n-globe regarded as a strict omega-category, the (right/left) internal hom between strict omega-categories X and Y is [X,Y ] = Hom( X otimes G^bullet , Y ) . See http://ncatlab.org/nlab/show/Crans-Gray+tensor+product for references. Best, Urs [For admin and other information see: http://www.mta.ca/~cat-dist/ ]