# Revision history [back]

There should be a way, since the category framework knows that R is a vector space:

sage: R.categories()
[Join of Category of unique factorization domains and Category of commutative algebras over Rational Field,
Category of unique factorization domains,
Category of gcd domains,
Category of integral domains,
Category of domains,
Category of commutative algebras over Rational Field,
Category of algebras over Rational Field,
Category of commutative rings,
Category of rings,
Category of rngs,
Category of semirings,
Category of monoids,
Category of semigroups,
Category of magmas,
Category of vector spaces over Rational Field,
Category of modules over Rational Field,
Category of bimodules over Rational Field on the left and Rational Field on the right,
Category of right modules over Rational Field,
Category of left modules over Rational Field,