やさしく理解できる圏 - 結城浩の圏論勉強プロジェクト

[dhrname]

domainとcodomainにしたほうが中学生向けでわかりやすい気がする。射fについてf:a→b, hom(a, b), a = dom(f), b = cod(f)で、fとgの合成がdom(g∘f) = dom(f), cod(g∘f) = cod(g), 恒等射id(a)がdom(id(a)) = a = cod(id(a))