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

- Jamie Vicary, Lemma 3.17 in:
*Categorical Formulation of Finite-Dimensional Quantum Algebras*, Communications in Mathematical Physics**304**(2011) 765–796 [doi:10.1007/s00220-010-1138-0]

but there must be earlier references (?)

]]>stub for endomorphism ring

]]>