CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Published 20 hours ago • verified publisher icon homalg-project

MorphismFromImageCokernelOfKernelToKernelOfCokernel

Open mohamed-barakat opened this issue 5 years ago • 0 comments

After seeing that you have introduced CanonicalIdentificationFromCoimageToImageObject I suggest supporting MorphismFromImageCokernelOfKernelToKernelOfCokernel which exists once both kernels and cokernels exist and is an isomorphism for Abelian categories. This can be used together with IsomorphismFromCoimageToCokernelOfKernel and IsomorphismFromKernelOfCokernelToImageObject to derive CanonicalIdentificationFromCoimageToImageObject for Abelian categories.

mohamed-barakat avatar Sep 24 '19 10:09 mohamed-barakat