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, ...
This phase of the course is all about building up the basic apparatus. We’ve stated our axioms, and it might seem like they’re not very powerful. It’s our job now to show that, in fact, they’re ...