‣ 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