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, ...
The Octoberfest is a noble tradition in category theory: a low-key, friendly conference for researchers to share their work and thoughts. This year it’s on Saturday October 26th and Sunday October ...