Vertex algebras are intuitively analogues of associative algebras, except that certain singularities come up (in physics terminology thsi comes from OPE’s).
Relaxed multicategories can be thought of, according to Borcherds, as multicategories in which the morphisms may have some sort of singularity. In the language of pseudotensor categories (a variant of coloured operads) this is studied by Beilinson and Drinfeld. In connection to quantum groups this has been studied by Soibelman.
Let be the free monoid monad on Set and the monad induced by the adjunction of the forgetful functor from -multicategories to -graphs. Leinster defines a particular -multicategory (see generalized multicategory) . A relaxed multicategory is any -enriched -multicategory.
Craig T. Snydal, Relaxed multi category structure of a global category of rings and modules, math.CT/9912075
Craig T. Snydal, Equivalence of Borcherds G-vertex algebras and axiomatic vertex algebras, math.QA/9904104