Functorial Calculus in Monoidal Bicategories
Dualizations and Antipodes
A Characterization of Exponentiable Maps in PrTop
Topological Features of Lax Algebras
On Colimits in Categories of Relations