RMod as closed symmetric monoidal category for a commutative ring

1. Proposition

Let \(R\) be a commutative ring and \(\mathrm{RMod}\) the category RMod Then \(\mathrm{RMod}\) admits a closed symmetric monoidal structure via

  1. the tensor product for a commutative Ring as tensor functor of a monoidal category
  2. the ring \(R\) as tensor unit
  3. TODO

2. Proof

2.3. monoidal

2.3.2. diagrams TODO

Date: nil

Author: Anton Zakrewski

Created: 2024-10-14 Mo 09:17