In category theory every morphism has two arguments (called source and destination). Are there known generalizations of theory with every morphism having an arbitrary (possibly infinite) number of arguments? (Two morphisms are not required to have the same number of arguments.)
Such structures appear in my research.