圏論の核

核の普遍性

pp.12-14

i^\sharpについては『層とホモロジー代数』#60714e7b19827000008ca3eb

ちょっと込み入っているが、普遍性として述べられているのは射hのこと

p.13証明や、その下の注意も参考になる

証明は、i^\sharpがwell-defined、単射、全射であることの証明であって、普遍性とは直接的には関係がない