ネ

タ

バ

レ

注

意

\forall Aに対して以下の条件を満たす射iが一意に存在する

1. {\rm dom}i={\rm con}i=A

2. \forall f,gについて

1. i\circ f=f

2. g\circ i=g

このときiをAの恒等射と呼ぶ

1_Aと書くことにする

これは恒等写像と同じ記法

問題：恒等射の一意性を証明せよ

i, jが恒等射であるとする

e2.1からi\circ j=j, e2.2からi\circ j=i

よってi=j