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, ...
Brandhuber, Andreas Chen, Gang Travaglini, Gabriele and Wen, Congkao 2021. A new gauge-invariant double copy for heavy-mass effective theory. Journal of High Energy Physics, Vol. 2021, Issue. 7, ...