Bases: sage.categories.category.Category
The category of all objects the basic category
EXAMPLES:
sage: Objects()
Category of objects
sage: Objects().super_categories()
[]
TESTS:
sage: TestSuite(Objects()).run()
Bases: sage.categories.category.HomCategory
Initializes this HomCategory
EXAMPLES:
We need to skip one test, since the hierarchy of hom categories isn’t consistent yet:
sage: C = sage.categories.category.HomCategory(Rings()); C
Category of hom sets in Category of rings
sage: TestSuite(C).run(skip=['_test_category_graph'])
alias of HomCategory.ParentMethods
This declares that any homset for
and
in the category of objects is a set.
This more or less assumes that the category is locally small.
See http://en.wikipedia.org/wiki/Category_(mathematics)
EXAMPLES:
sage: Objects().hom_category().extra_super_categories()
[Category of sets]
EXAMPLES:
sage: Objects().super_categories()
[]