Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 2 of 2
Let P be the strict omega-category generated as follows:
Let A_0=∂O^1, and let E_n=Hom(∂O^n,A_{n-1}), where A_n is obtained by the cocartesian square:
E_n × ∂O^n -> A_{n-1}
| |
| |
v v
E_n × O^n —-> A_n
This gives an inductive system A_0 -> A_1 -> … -> A_n ->…
And we call the inductive limit of this system P.
Then P gives a factorization of ∂O^1->O^0 into a natural cofibration followed by a natural trivial fibration.
Recall that the Crans-Gray tensor product is a biclosed monoidal structure on str-ω-cat induced by the Day convolution product on the category of cubical sets extending the canonical product of cubes inherited from the category of sets.
Recall that in a monoidal category (here, and are the natural isomorphisms for the unity object), an object X is called quasi-central in V if there exists a natural isomorphism such that for any objects A and B in V, the following coherence conditions are satisfied:
and
Then my question: Is the object P defined as above quasicentral in the Crans-Gray monoidal category of strict ω-categories?
If not, can it at least be shown that it is quasicentral in the monoidal subcategory of cofibrant objects?
The intuition here is that it seems like for any fixed arbitrary strict -category and any cofibrant object , you can manufacture a natural bijection
since a P-shaped left-lax transfor seems like it can be reversed to a P-shaped right-lax transfor by composing with a fixed automorphism of P (since P classifies equivalences).
Uhh…
Can you do something silly like this:
A map corresponds by adjunction to a map , but there exists a natural isomorphism , so we can compose , but then by duality, this corresponds to a map Passing back along the adjoint, we obtain a map , which gives, by duality, a map , but due to the interaction of duality with the tensor product, this gives us a map . Then precomposing with the isomorphism , this gives a map .
Obviously, we can do this in reverse, so we see that we have commutativity of with the n-globes and their boundaries… if I didn’t screw up!
1 to 2 of 2