Strict binoidal pseudofunctor

Last updated Feb 3, 2024

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