Following corollary 4.5.8.([0093]), \(h_1 \mathrm{Mor}^{\mathrm{poly}, \mathrm{gr-proj}}(\mathrm{mod}_k^{\mathbb{Z}})\) is the (small) ordinary symmetric-monoidal \(1\)-category whose objects are given by graded polynomial algberas, and whose morphisms are given by isomorphism classes of ordinary graded bimodules which are graded-compact-projective as right modules. Furthermore, composition is given by relative tensor product and the symmetric monoidal structure is given by tensoring over \(k\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2