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
- the tensor product for a commutative Ring as tensor functor of a monoidal category
- the ring \(R\) as tensor unit
- TODO
2. Proof
2.1. closed
follows from the tensor hom adjunction corollary of: