2 problems

Weak equivalence conjecture. The inclusion of simplicial sets $N(ubi\mathcal{C}tg)\longrightarrow i^*(w\mathcal{C}at^2)$ is a weak equivalence in the Joyal model structure on…

Let $n\ge 0$ be fixed. For $k\ge 0$, define recursively the dendroidal set $wCat_k^n$ of weak $k$-monoidal $n$-categories by … and, for $k>0$, … A dendrex of shape $\eta$ in…