# When are Morita classes represented by certain structured algebra objects?

Let $\mathcal{C}$ be a monoidal category. There is a notion of Morita equivalence of algebra objects internal to $\mathcal{C}$. Does each Morita class have a symmetric Frobenius representative? A Hopf representative?

Following arXiv:math/0111139, suppose $\mathcal{C}$ is semisimple and rigid with finitely many irreducible objects and irreducible unit. Each indecomposable semisimple module category over $\mathcal{C}$ is equivalent to one of the form $\text{Mod}_\mathcal{C}A$ for some algebra object $A$ internal to $\mathcal{C}$; such algebras are called indecomposable semisimple, and their Morita classes are in bijective correspondence with such module categories. In this language, my question is whether, given such a module category $\mathcal{M}$ over $\mathcal{C}$, there is a symmetric Frobenius (or Hopf) algebra object $A$ in $\mathcal{C}$ such that $\text{Mod}_\mathcal{C}A$ is equivalent to $\mathcal{M}$.

If not, are there conditions on $\mathcal{C}$ under which $A$ exists?

• I don't understand your example in the second paragraph. It's certainly not the case that every algebra is Morita equivalent to a Clifford algebra. I think you're missing some hypotheses? Similarly, it's certainly not the case that every algebra is semisimple. Maybe you could be more explicit about exactly what your definitions are? Apr 26, 2016 at 1:51
• My example didn't make sense, so I've gotten rid of it. I am assuming semisimplicity. Apr 26, 2016 at 2:16
• Also, depending on what you mean by "semisimple module category," I don't think your claim that these are all categories of modules over algebras is true either, since (with the definitions I have in mind) there may be infinitely many simple objects. Apr 26, 2016 at 3:25
• Right. I mean to refer to the main theorem of arXiv:math/0111139, which relies on additional assumptions. Apr 26, 2016 at 4:00