The authors introduce notions of monoid, comonoid, bimonoid, and Lie monoid relative to a fixed hyperplane arrangement. They also construct universal bimonoids by using generalizations of the ...
Then form the free k -linear symmetric monoidal category on S by freely forming k -linear combinations of morphisms. This is called kS. Up to equivalence, it has one object for each natural number n, ...