https://9lib.org/document/yng9m21k-the-multi-morphisms-and-their-properties-and-applications.html