The adjunction of a lax functor box

Tags: Functor box, Skew promonad of a lax monoidal functor.