Frobenius monads and pseudomonoids
Frobenius monads and pseudomonoids
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 …