See also. distributive tensor of multiquivers cocartesian comulticategory distributive category distributive copy-discard multicategory