CAP_project
CAP_project copied to clipboard
Convenience for InjectionOfCofactor and ProjectionIntoFactor
Issue by sebastianpos
Thursday Oct 23, 2014 at 09:45 GMT
Originally opened as https://github.com/sebasguts/CAP/issues/15
InjectionOfCofactor should accept arbitrary many arguments, for example: InjectionOfCofactor( A, B, C, D, 3 ); should return the morphism C -> Coproduct( A, B, C, D ). The same for ProjectionInFactor.