sesquilaw morphism

Tags: sesquilaw, monad morphism, double category.