Skew promonad of a lax monoidal functor

Last updated Feb 3, 2024

Tags: bimodular tambara, The adjunction of a lax functor box.