category with duals (list of them)
dualizable object (what they have)
This tensor product makes the category of strict omega-categories into a (non-symmetric) biclosed monoidal structure; thus in particular it has two internal-homs and . Both contain strict -functors as their objects, and their -cells for are k-transfors which are lax or oplax in all dimensions (one internal-hom contains lax transfors and the other the oplax ones).
One abstract way to construct the Crans-Gray tensor product is as follows.
There is an obvious monoidal structure on the cube category obtained from the obvious product of cellular cubes which is analogous to the cartesian product of the topological cubes . By Day convolution this naturally induces a monoidal structure on cubical sets.
Now strict -categories, although usually defined as globular sets with extra structure, can also be regarded as cubical sets with extra structure. More precisely, there is a forgetful functor from to which is monadic, and the monad is a monoidal monad. It follows by further general results of Day that the tensor product on lifts to .
It is also possible to give a direct construction of this tensor product; see Crans’ thesis below.
Strict -categories for can of course be regarded as strict -categories with all -cells identities for . In general, the Crans-Gray tensor product of an -category with an -category will be an -category, since the tensor product of the -cube and the -cube is the -cube. (Compare, for example, the fact that the Gray tensor product of two 1-categories is no longer, in general, a 1-category.)
However, we can obtain a tensor product on strict -categories for any by applying the reflector (or “cotruncation”) functor for the inclusion of strict -categories into strict -categories. When , this produces the cartesian product of categories, while when it reproduces the lax version of the Gray tensor product.
Sjoerd Crans has also defined a tensor product of Gray-categories, but the relationship between it and the tensor product of strict -categories is not entirely clear, since neither nor contains the other (their “intersection” is ).
where is the CG-tensor product and is the globular object of standard globes. The objects in are the (strict) -functors, while the k-morphisms are a lax sort of -transfors between these. A dual -functor category can be defined by ; this has the same objects but its k-morphisms are oplax -transfors.
Or maybe lax and oplax should be switched here? Can someone verify?
The Crans-Gray tensor product extends the tensor product on strict -groupoids given by R. Brown and P.J. Higgins (see below); they construct a symmetric monoidal closed structure on these -groupoids. It is used there to construct a monoidal closed structure on the category of crossed complexes.
The article Al-Agl/Brown/Steiner sets up an equivalence between strict globular -categories and certain cubical -categories with connections, to which the monoidal closed structure in the previous paper is easily extended.
The article Steiner gives a new construction of this tensor product in terms of augmented directed chain complexes, where he shows that it can be defined explicitly and computed efficiently on all strict ω-categories admitting a certain kind of loop-freeness assumption on their bases. In particular, it generalizes the approaches in all earlier papers.
There is the Verity-Gray tensor product on stratified simplicial sets (as described there). Via the omega-nerve strict omega-categories form the complicial sets within all stratified simplicial sets. According to observation 60 of Verity06 section 11.4 of Verity04 proves that the Crans-Gray tensor product is the reflection of the Verity-Gray tensor product under this inclusion.
A detailed discussion is in
Ronnie Brown and Phil Higgins, Tensor products and homotopies for -groupoids and crossed complexes , J. Pure Appl. Alg. 47 (1987) 1–33.
Some helpful remarks and diagrams are in
which is however mainly concerned with a slightly different topic.
A collection of Crans’s papers, including those on teisi, can be found here:
The modern version, incorporating many new primitives is given in
A general theory of lax tensor products is in