Proof. This is a straightforward consequence of the definition of semistrict 3-categories as categories enriched over with its Gray tensor product. β
Original source: arXiv:q-alg/9511013v2
Proof. This is a straightforward consequence of the definition of semistrict 3-categories as categories enriched over with its Gray tensor product. β
Original source: arXiv:q-alg/9511013v2