Homomorphisms of promonads are functor squares

Last updated May 3, 2024

Tags: promonad