Finite sets#
- class sage.categories.finite_sets.FiniteSets(base_category)#
Bases:
CategoryWithAxiom_singleton
The category of finite sets.
EXAMPLES:
sage: C = FiniteSets(); C Category of finite sets sage: C.super_categories() [Category of sets] sage: C.all_super_categories() [Category of finite sets, Category of sets, Category of sets with partial maps, Category of objects] sage: C.example() NotImplemented
- class Algebras(category, *args)#
Bases:
AlgebrasCategory
- extra_super_categories()#
EXAMPLES:
sage: FiniteSets().Algebras(QQ).extra_super_categories() [Category of finite dimensional vector spaces with basis over Rational Field]
This implements the fact that the algebra of a finite set is finite dimensional:
sage: FiniteMonoids().Algebras(QQ).is_subcategory(AlgebrasWithBasis(QQ).FiniteDimensional()) True
- class ParentMethods#
Bases:
object
- is_finite()#
Return
True
sinceself
is finite.EXAMPLES:
sage: C = FiniteEnumeratedSets().example() sage: C.is_finite() True
- class Subquotients(category, *args)#
Bases:
SubquotientsCategory
- extra_super_categories()#
EXAMPLES:
sage: FiniteSets().Subquotients().extra_super_categories() [Category of finite sets]
This implements the fact that a subquotient (and therefore a quotient or subobject) of a finite set is finite:
sage: FiniteSets().Subquotients().is_subcategory(FiniteSets()) True sage: FiniteSets().Quotients ().is_subcategory(FiniteSets()) True sage: FiniteSets().Subobjects ().is_subcategory(FiniteSets()) True