The adjunction of a lax functor box

Last updated May 3, 2023

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