RMod as closed symmetric monoidal category for a commutative ring
1. Proposition
Let
- the tensor product for a commutative Ring as tensor functor of a monoidal category
- the ring
as tensor unit - TODO
2. Proof
2.1. closed
follows from the tensor hom adjunction corollary of: