The Azimuth Project Monoidal bicategories and Hopf algebroids

Idea

The notion of a pseudomonoid is introduced here.