Frobenius monads and pseudomonoids

Abstract

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.