Polyhedral subsets of free ZZ, QQ or RR-modules.#

class sage.categories.polyhedra.PolyhedralSets(R)#

Bases: Category_over_base_ring

The category of polyhedra over a ring.

EXAMPLES:

We create the category of polyhedra over \(\QQ\):

sage: PolyhedralSets(QQ)
Category of polyhedral sets over Rational Field
super_categories()#

EXAMPLES:

sage: PolyhedralSets(QQ).super_categories()
[Category of commutative magmas, Category of additive monoids]