nLab
Verity-Gray tensor product

Idea

The Verity-Gray tensor product or lax Gray tensor product of stratified simplicial sets is a tensor product on the category $\mathrm{Strat}$ of stratified simplicial sets which when restricted to complicial sets, i.e. omega-nerves of strict omega-categories reproduces the Crans-Gray tensor product on strict $\omega$-categories.

Definition

Let $(X,tX)$ and $(Y,tY)$ be stratified simplicial sets. Then their Verity-Gray tensor product $(X,tX)\otimes (Y,tY)$ is given by

$$(X,tX)\otimes (Y,tY):=(X\times Y,q(tX,tY)),$$(X, t X) \otimes (Y, t Y) := (X \times Y, q(t X, t Y)) \,,

where $X\times Y$ is the cartesian product of simplicial sets (hence the standard monoidal structure on SSet), while $q(tX,tY)$, the set of thin cells, is …

References

definition 128 of

• Dominic Verity, Complicial sets (arXiv)

definition 59, page 32 of

• Dominic Verity, Weak complicial sets I (arXiv)

slide 60 of

• Dominic Verity, Weak complicial sets and internal quasi-categories (arXiv)