AUTHORS: David Kohel and William Stein
The module categories.functors defines the following methods:
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: