恒等射

単位法則を満たす射

つまり、任意の$f\in \mathcal{A}(A,B)$について$f\circ 1_A=f=1_B\circ f$を満たす射