## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

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