symmetric monoidal category of vector spaces

 algebra
Notation (VectK,⊗,K)(\Vect_K,\otimes,K) Underlying category category of vector spaces Parent (R−Mod,⊗,R)(R{-}\Mod,\otimes,R) Related (FinVectK,⊗,K)(\FinVect_K,\otimes,K)
This is the special case of (R−Mod,⊗,R)(R{-}\Mod,\otimes,R) where RR is a field KK.

Satisfied properties

Assigned properties

Properties from parent

Deduced properties

Unsatisfied properties

Assigned properties

—

Properties from parent

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—