Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t 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.

. A balanced coalgebroid is a V op -category with extra structure ensuring that its category of representations is a balanced monoidal category. We show, in a sense to be made precise, that a balanced structure on a coalgebroid may be reconstructed from the corresponding structure on its category of representations. This includes the reconstruction of dual quasi-bialgebras, quasi-triangular dual quasi-bialgebras, and balanced quasi-triangular dual quasi-bialgebras; the latter of which is a quantum group when equipped with a compatible antipode. As an application we construct a balanced coalgebroid whose category of representations is equivalent to the symmetric monoidal category of chain complexes. The appendix provides the definitions of a braided monoidal bicategory and sylleptic monoidal bicategory. Contents 1 Introduction 71 2 Pseudomonoids 76 3 Braided pseudomonoids 84 4 Symmetric pseudomonoids 89 5 Balanced pseudomonoids 91 6 Monoidally bi-fully-faithful homomorphisms 94 7 The...