Some remarks on multicategories and additive categories
Pisani, Claudio
Original · EN
Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories are coreflectively embedded (as theories for many-sorted modules) in cartesian multicategories (general algebraic theories). In particular, one gets a direct link between two ways of considering modules over a rig, namely as additive functors valued in commutative monoids or as models of the theory generated by the rig itself.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.