Theory Appl. Categ. 29, 496-541, electronic only (2014)
Summary: We study the monoidal closed category of symmetric multicategories, especially in relation with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we consider cartesian multicategories in a similar perspective and develop some peculiar items such as algebraic products. Several classical facts arise as a consequence of this analysis when some of the multicategories involved are representable.
Mathematics Subject Classification
18C10, 18D10, 18D50, 18D99, 18E05
sequential, representable, exponentiable and Cartesian multicategories, preadditive