2 problems

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

Enriched icon conjecture. For every symmetric monoidal $(n+1)$-category ${\mathcal {E}}$, there is a symmetric monoidal $(n+1)$-category ${\mathcal {E}}\text{-Icon}$ of categories…