Just as a monoid in a monoidal category $C$ can be equivalently defined as a monad in the corresponding one-object 2-category$\mathbf{B}C$ (the delooping of $C$), so a pseudomonoid in a monoidal 2-category $C$ can equivalently be defined as a pseudomonad in the corresponding one-object 3-category$\mathbf{B}C$.

Variations

A map pseudomonoid is a pseudomonoid whose multiplication and unit are maps, i.e. left adjoints. This is a more appropriate notion for monoidal bicategories whose morphisms are profunctors, since maps therein can be identified (modulo Cauchy completion) with functors. (However, it is typically better to work instead in a double category, where one may distinguish between tight pseudomonoids and loose pseudomonoids.)

Other more special kinds of pseudomonoid are generalizations of special kinds of monoidal categories, including:

Eventually these should probably have their own pages.

Properties

The 2-category of symmetric pseudomonoids in a symmetric monoidal 2-category has (weak) 2-coproducts given by the tensor product of underlying objects (analogously to how the category of commutative monoids in a monoidal category has coproducts given by the tensor product of the underlying objects). This is proven in Schaeppi, Appendix A.