Binoidal bicategoriesLast updated Feb 3, 2024Effectful Semantics in 2-Dimensional Categories, Premonoidal and Freyd Bicategories (Paquet, Saville)