Finite sets¶
-
sage.categories.finite_sets.
FiniteSets
¶ 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