Package sage :: Package categories :: Module functor :: Class Functor

Class Functor

                      object --+    
                               |    
structure.sage_object.SageObject --+
                                   |
                                  Functor

Known Subclasses:: action.Action, ForgetfulFunctor_generic, pushout.ConstructionFunctor

File: sage/categories/functor.pyx (starting at line 28)

EXAMPLES:
    sage: rings  = Rings()
    sage: abgrps = AbelianGroups()
    sage: F = ForgetfulFunctor(rings, abgrps)
    sage: F.domain()
    Category of rings
    sage: F.codomain()
    Category of abelian groups
    sage: is_Functor(F)
    True
    sage: I = IdentityFunctor(abgrps)
    sage: I
    The identity functor on AbelianGroups
    sage: I.domain()
    Category of abelian groups
    sage: is_Functor(I)
    True

Instance Methods

[hide private]

__call__(...)
File: sage/categories/functor.pyx (starting at line 59)

__init__(...)
x.__init__(...) initializes x; see x.__class__.__doc__ for signature

__new__(T, S, ...)

__repr__(...)
File: sage/categories/functor.pyx (starting at line 56)

codomain(...)
File: sage/categories/functor.pyx (starting at line 72)

domain(...)
File: sage/categories/functor.pyx (starting at line 69)

Inherited from structure.sage_object.SageObject: __hash__, _axiom_, _axiom_init_, _gap_, _gap_init_, _gp_, _gp_init_, _interface_, _interface_init_, _interface_is_cached_, _kash_, _kash_init_, _macaulay2_, _macaulay2_init_, _magma_, _magma_init_, _maple_, _maple_init_, _mathematica_, _mathematica_init_, _maxima_, _maxima_init_, _octave_, _octave_init_, _pari_, _pari_init_, _r_init_, _sage_, _singular_, _singular_init_, category, db, dump, dumps, plot, rename, reset_name, save, version

Inherited from object: __delattr__, __getattribute__, __reduce__, __reduce_ex__, __setattr__, __str__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

init(...)
(Constructor)

x.__init__(...) initializes x; see x.__class__.__doc__ for signature

Overrides: object.__init__

new(T, S, ...)

Returns:

a new object with type S, a subtype of T

Overrides: structure.sage_object.SageObject.__new__

repr(...)
(Representation operator)

File: sage/categories/functor.pyx (starting at line 56)

Overrides: structure.sage_object.SageObject.__repr__

Class Functor

__init__(...) (Constructor)

__new__(T, S, ...)

__repr__(...) (Representation operator)

init(...)
(Constructor)

new(T, S, ...)

repr(...)
(Representation operator)