いかなる圏Cにおいても、恒等関手（こうとうかんしゅ、identityfunctor）1Cが、どの対象も射もそれ自身へうつすものとして定まる。
在任意范畴C上，可定义一个单位函子1C，其将每个对象和态射映射至其自身。