sage.categories.polyhedra.
PolyhedralSets
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
Pointed sets
Posets