Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
stub for endomorphism ring
I was looking for a canonical reference making explicit the Frobenius algebra structure on the endomorphism objects $\mathscr{H}^\ast \otimes \mathscr{H}$ in a compact closed category.
This is of course readily implied by general arguments (such as recalled in Lauda 2005) but for citation purposes, who says it explicitly?
I see for instance that it’s made explicit in
but there must be earlier references (?)
1 to 2 of 2