TY - RPRT TI - Gray tensor product and saturated $N$-complicial sets AU - Viktoriya Ozornova AU - Martina Rovelli AU - Dominic Verity PY - 2020 UR - https://arxiv.org/abs/2007.01235 ID - 2007.01235 ER -