아이덴티티(Identity)

모든 오브젝트는 아이덴티티(identity)라는 애로우를 가지고 있다.

오브젝트 $a$의 아이덴티티 애로우는 $id_{a}$로 적는다.

애로우 $f : a \rightarrow b$가 있을 때 $f$ 왼쪽에 $id_{b}$를 합쳐도 $f$와 같고 $f$ 오른쪽에 $id_{a}$를 합쳐도 $f$와 같다.

$id_{b} \circ f = f = f \circ id_{a}$

엘리먼트 $x : 1 \rightarrow a$를 $id_{a}$와 합치면 아래와 같이 된다.

$id _{a} \circ x = x$

하스켈에서 아이덴티티 함수 이름으로 id를 사용한다.

id :: a -> a
id x = x