CatDat

symmetric monoidal category of modules over an absolutely flat commutative ring

This is the special case of this entry where we assume that RR is absolutely flat and non-zero. For example, every field has this property, so that this entry also includes the symmetric monoidal category of vector spaces.

Satisfied Properties

Assigned properties

Deduced properties

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties