1 problem

0 votes0 replies0 views
The Frobenius-monoid conjecture for lifted star-autonomous structures
Frobenius-monoid conjecture. The star-autonomous structure on $\int Q$ is the structure of a Frobenius monoid in $[\mathsf{C},\mathsf{SLatt}]$ .
Conjectureopenenriched-category-theory frobenius-monoids star-autonomous-categoriesarXiv posted 2 days ago

The Frobenius-monoid conjecture for lifted star-autonomous structures