section split monomorphism inverse left inverse split epimorphism right inverse bispace eigensection coimage diagonal morphism