‣ ExtendFunctorToLinearClosureOfSource( F, linear_closure, ring_map ) | ( operation ) |
The arguments are a functor F:C\to D, some linear closure linear_closure of C over some commutative ring S and a function ring_map; where D is a linear category over some commutative ring R. The ring_map is a function that converts an element s in S to an element in R, such that ring_map defines a ring homomorphism. The output is the linear extension functor of F from linear_closure to D.
‣ ExtendFunctorToLinearClosureOfSource( F, linear_closure ) | ( operation ) |
The arguments are a functor F:C\to D, some linear closure linear_closure of C over some commutative ring S; where D is a linear category over S. The output is the linear extension functor of F from linear_closure to D.
generated by GAPDoc2HTML