2 problems

Folding conjecture. There exists an automorphism $\sigma$ of $Q$ such that $(Q,\sigma)$ folds into $\Gamma$.

Let $\mathcal{Q}$ and $\mathcal{Q}'$ be species, with associated tensor algebras $T(\mathcal{Q})$ and $T(\mathcal{Q}')$. Extension conjecture. Theorem holds even if $\mathcal{Q}$ a…