25 Sep
2010
25 Sep
'10
11:40 a.m.
Dear Urs On 25/09/2010, at 1:13 AM, Urs Schreiber wrote:
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.
I think David was asking about the simpler cartesian closed structure on omega-Cat. This is constructed in The algebra of oriented simplexes, J. Pure Appl. Algebra 49 (1987) 283-335 for example. Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]