核
圏論
の核
核の
普遍性
『層とホモロジー代数』.icon
pp.12-14
$ i^\sharp
については
『層とホモロジー代数』#60714e7b19827000008ca3eb
ちょっと込み入っているが、普遍性として述べられているのは射
$ h
のこと
p.13証明や、その下の注意も参考になる
証明は、
$ i^\sharp
が
well-defined
、単射、全射であることの証明であって、普遍性とは直接的には関係がない
mrsekut.icon
https://ja.wikipedia.org/wiki/核_(圏論)
https://en.wikipedia.org/wiki/Kernel_(category_theory)