恆等函子

恆等函子 ^[1]  (identity functor)亦稱單位函子.一個範疇到自身的恆等變換.若留為一個範疇，函子I,,使子的每個對象都變成自己，也使省中的任意態射變到自己，則稱F為留上的恆等函子，常記為I。