2 problems

Uniqueness conjecture. Non-degenerate standard A-H Frobenius monoids differ only by their scalars. More precisely, but less generally, all non-abelian simple A-H F. monoids are iso…

Strictification conjecture. The restrictions that the compact closed category arise from the $\bf Int$ or $\bf GoI$ construction and have trivial scalars are not essential: reflexi…