Specific category classes

This is placed in a separate file from categories.py to avoid circular imports (as morphisms must be very low in the hierarchy with the new coercion model).

class sage.categories.category_types.AbelianCategory

Bases: Category

is_abelian()

Return True as self is an abelian category.

EXAMPLES:

Sage

sage: CommutativeAdditiveGroups().is_abelian()
True

Python

>>> from sage.all import *
>>> CommutativeAdditiveGroups().is_abelian()
True

class sage.categories.category_types.Category_ideal(ambient, name=None)

Bases: Category_in_ambient

classmethod an_instance()

Return an instance of this class.

EXAMPLES:

Sage

sage: AlgebraIdeals.an_instance()
Category of algebra ideals in Univariate Polynomial Ring in x over Rational Field

Python

>>> from sage.all import *
>>> AlgebraIdeals.an_instance()
Category of algebra ideals in Univariate Polynomial Ring in x over Rational Field

ring()

Return the ambient ring used to describe objects self.

EXAMPLES:

Sage

sage: C = Ideals(IntegerRing())
sage: C.ring()
Integer Ring

Python

>>> from sage.all import *
>>> C = Ideals(IntegerRing())
>>> C.ring()
Integer Ring

class sage.categories.category_types.Category_in_ambient(ambient, name=None)

Bases: Category

Initialize self.

The parameter name is ignored.

EXAMPLES:

Sage

sage: C = Ideals(IntegerRing())
sage: TestSuite(C).run()

Python

>>> from sage.all import *
>>> C = Ideals(IntegerRing())
>>> TestSuite(C).run()

ambient()

Return the ambient object in which objects of this category are embedded.

EXAMPLES:

Sage

sage: C = Ideals(IntegerRing())
sage: C.ambient()
Integer Ring

Python

>>> from sage.all import *
>>> C = Ideals(IntegerRing())
>>> C.ambient()
Integer Ring

class sage.categories.category_types.Category_module(base, name=None)

Bases: AbelianCategory, Category_over_base_ring

class sage.categories.category_types.Category_over_base(base, name=None)

Bases: CategoryWithParameters

A base class for categories over some base object.

INPUT:

• base – a category \(C\) or an object of such a category

Assumption: the classes for the parents, elements, morphisms, of self should only depend on \(C\). See Issue #11935 for details.

EXAMPLES:

Sage

sage: Algebras(GF(2)).element_class is Algebras(GF(3)).element_class
True

sage: C = GF(2).category()
sage: Algebras(GF(2)).parent_class is Algebras(C).parent_class
True

sage: C = ZZ.category()
sage: Algebras(ZZ).element_class is Algebras(C).element_class
True

Python

>>> from sage.all import *
>>> Algebras(GF(Integer(2))).element_class is Algebras(GF(Integer(3))).element_class
True

>>> C = GF(Integer(2)).category()
>>> Algebras(GF(Integer(2))).parent_class is Algebras(C).parent_class
True

>>> C = ZZ.category()
>>> Algebras(ZZ).element_class is Algebras(C).element_class
True

classmethod an_instance()

Return an instance of this class.

EXAMPLES:

Sage

sage: Algebras.an_instance()
Category of algebras over Rational Field

Python

>>> from sage.all import *
>>> Algebras.an_instance()
Category of algebras over Rational Field

base()

Return the base over which elements of this category are defined.

EXAMPLES:

Sage

sage: C = Algebras(QQ)
sage: C.base()
Rational Field

Python

>>> from sage.all import *
>>> C = Algebras(QQ)
>>> C.base()
Rational Field

class sage.categories.category_types.Category_over_base_ring(base, name=None)

Bases: Category_over_base

Initialize self.

EXAMPLES:

Sage

sage: C = Algebras(GF(2)); C
Category of algebras over Finite Field of size 2
sage: TestSuite(C).run()

Python

>>> from sage.all import *
>>> C = Algebras(GF(Integer(2))); C
Category of algebras over Finite Field of size 2
>>> TestSuite(C).run()

base_ring()

Return the base ring over which elements of this category are defined.

EXAMPLES:

Sage

sage: C = Algebras(GF(2))
sage: C.base_ring()
Finite Field of size 2

Python

>>> from sage.all import *
>>> C = Algebras(GF(Integer(2)))
>>> C.base_ring()
Finite Field of size 2

class sage.categories.category_types.Elements(object)

Bases: Category

The category of all elements of a given parent.

EXAMPLES:

Sage

sage: a = IntegerRing()(5)
sage: C = a.category(); C
Category of elements of Integer Ring
sage: a in C
True
sage: 2/3 in C
False
sage: loads(C.dumps()) == C
True

Python

>>> from sage.all import *
>>> a = IntegerRing()(Integer(5))
>>> C = a.category(); C
Category of elements of Integer Ring
>>> a in C
True
>>> Integer(2)/Integer(3) in C
False
>>> loads(C.dumps()) == C
True

classmethod an_instance()

Return an instance of this class.

EXAMPLES:

Sage

sage: Elements.an_instance()
Category of elements of Rational Field

Python

>>> from sage.all import *
>>> Elements.an_instance()
Category of elements of Rational Field

object()

EXAMPLES:

Sage

sage: Elements(ZZ).object()
Integer Ring

Python

>>> from sage.all import *
>>> Elements(ZZ).object()
Integer Ring

super_categories()

EXAMPLES:

Sage

sage: Elements(ZZ).super_categories()
[Category of objects]

Python

>>> from sage.all import *
>>> Elements(ZZ).super_categories()
[Category of objects]

Todo

Check that this is what we want.