核 (圏論)

圏論とホモロジー代数において核（かく，英: kernel）は、群準同型の核や加群準同型の核や他の代数系の核を一般化した圏論的構成である。直観的には，圏の射 f: X → Y の核は、 f の右側から合成して 0 になる「最も一般的な」射 k: K → X である。