CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Convenience for InjectionOfCofactor and ProjectionIntoFactor

Open sebasguts opened this issue 9 years ago • 0 comments

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.

sebasguts avatar Apr 10 '15 09:04 sebasguts