2 problems

Frobenius-monoid conjecture. The star-autonomous structure on $\int Q$ is the structure of a Frobenius monoid in $[\mathsf{C},\mathsf{SLatt}]$.

Let $\mathcal{K}$ be a star-autonomous category equipped with either a natural isomorphism $\cyclesymbol_{}:\perp p\to\prep p$ satisfying Rosenthal's axiom $\textsc{r}$, or the cor…