Skew promonad of a lax monoidal functor

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