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, ...
Some results have been hidden because they may be inaccessible to you