Type: Article
Publication Date: 2004-10-01
Citations: 100
DOI: https://doi.org/10.1063/1.1788852
Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only if it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What it means for a morphism of a bicategory to be a projective equivalence is defined; this concept is related to “strongly separable” Frobenius algebras and “weak monoidal Morita equivalence.” Wreath products of Frobenius algebras are discussed.