2 problems

Let the fat Delta category provide a framework for comparing models of weak higher categories, and let Tamsamani $n$-categories and fair $n$-categories denote the two models appear…

Iterated icon conjecture. We define a symmetric monoidal $(n+1)$-category ${\mathcal {E}}_{n,k}$ for each $k \geq 0$ by