0
$\begingroup$

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.

  • 0
    I think I encountered this recently, but I've forgotten the name. But ultimately it doesn't matter if your categories are nice enough: for example, if your category has all products, or if your category is equipped with a symmetric monoidal structure.2012-02-24
  • 2
    Aha, this just came up in seminar today: [multicategories](http://ncatlab.org/nlab/show/multicategory).2012-02-28
  • 0
    @Zhen Lin: "A multicategory is like a category, except that one allows multiple inputs and a single output." No, I need a structure with inputs and outputs indistinguishable (every input may serve as output and vice versa).2012-02-28
  • 0
    @porton I don't get where is the problem with Zhen Lin answer, every output of an arrow in a multicategory may serve as (part of) the input of another arrow. Note that in a category target and source of an arrow are well distinct objects, infact they tell you what you can compose on the left(respectively on the right) with you arrow.2012-05-19

1 Answers 1