圏の恒等射ってなんなんですか?
Setの圏を考えたときの
f:R→Rは全部恒等射なんですか?