Package sage :: Package categories :: Module functor

Module functor

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

Functors

AUTHORS:
    - David Kohel and William Stein
    - David Joyner (2005-12-17): examples
    - Robert Bradshaw (2007-06-23): Pyrexify

Classes

[hide private]

ForgetfulFunctor_generic

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

IdentityFunctor_generic

Functions

[hide private]

ForgetfulFunctor(...)
File: sage/categories/functor.pyx (starting at line 135) Construct the forgetful function from one category to another.

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

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

Function Details

[hide private]

ForgetfulFunctor(...)

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

Construct the forgetful function from one category to another.

EXAMPLES:
    sage: rings = Rings()
    sage: abgrps = AbelianGroups()
    sage: F = ForgetfulFunctor(rings, abgrps)
    sage: F
    The forgetful functor from Rings to AbelianGroups