generated at
余核
cokernel




余核の普遍性
『層とホモロジー代数』 pp.12-14