$+=Q$ Theorem, Part 1

Date:

We study the properties of the $S^{-1}S$-construction for a given symmetric monoidal category $S$ from Grayson’s 1976 paper. [Notes]