Has anyone defined a notion of Frobenius algebra? That is, an -algebra and -coalgebra together with Frobenius homotopies satisfying coherences in all higher dimensions? Presumably it would reduce in the 1-truncated case to a Frobenius pseudomonoid.
]]>