1 problem

Trace-unit conjecture. The category $[\mathcal{S}^{\operatorname{op}},\mathbf{Vec}_{\Bbbk}]$ is symmetric monoidal, and its unit is equivalent to the trace of the underlying semigr…