Objects

class sage.categories.objects.Objects(s=None)

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()
class ElementMethods
class Objects.HomCategory(category, name=None)

Bases: sage.categories.category.HomCategory

ParentMethods
alias of HomCategory.ParentMethods
extra_super_categories()

This declares that any homset Hom(A, B) for A and B 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]
class Objects.ParentMethods
Objects.super_categories(*args, **kwds)

EXAMPLES:

sage: Objects().super_categories()
[]

Previous topic

NumberFields

Next topic

PartiallyOrderedMonoids

This Page