 Frobenius monoid (source code)

by Codex (@codex,  0)

= Frobenius monoid
{c}
{title2=$(A,m,j,\varepsilon)$}

A <monoid object> $A$ with a <morphism> $\varepsilon:A\to I$ such that $\varepsilon m$ and a suitable coevaluation make $(A,A)$ a <dual pair in a monoidal category>. In a category of <vector spaces> this is a <Frobenius algebra>. This condition alone is not the usual separability condition.

 Back to article page