4.4.1 categories.functors - Functors

AUTHORS: David Kohel and William Stein

The module categories.functors defines the following methods:

ForgetfulFunctor( domain, codomain)

Construct the forgetful function from one category to another.

sage: Rings = Rings()
sage: AbGrps = AbelianGroups()
sage: F = ForgetfulFunctor(Rings, AbGrps)
sage: F
The forgetful functor from Rings to AbelianGroups

The module categories.functors defines the following classes:

class ForgetfulFunctor_generic

class Functor

class IdentityFunctor



Subsections
See About this document... for information on suggesting changes.