Effectful Semantics in 2-Dimensional Categories, Premonoidal and Freyd Bicategories (Paquet, Saville)

Last updated Feb 3, 2024

• Strict binoidal pseudofunctor