The adjunction of a lax functor box

Last updated Feb 3, 2024

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