The Azimuth Project
Monoidal bicategories and Hopf algebroids

Idea

The notion of a pseudomonoid is introduced here.