범주론,category_theory에선, 임의의
대상,object $\displaystyle A$ 에 대해, 다음 arrow 가 존재해야만 한다는 것
$\displaystyle \operatorname{id}_A:A\to A$
such that for any arrow
$\displaystyle f:A\to B,$
$\displaystyle f\circ \operatorname{id}_A = f = \operatorname{id}_B\circ f$
(
범주,category의 조건 중 하나.)
wikiadmin ¶
아이덴터티
아이덴티티 (page name, due to kornorms, 2023-11-16 확인)