𝑅𝖬𝗈𝖽

Category of modules over a commutative ring

Let K be a commutative ring. Then K𝖬𝗈𝖽 is a Closed monoidal category under the normal tensor product with the regular module K as its tensor unit. #m/thm/module See also the special case of 𝖵𝖾𝖼𝗍𝕂.

#state/develop | #lang/en | #SemBr