恒等函子

恒等函子是一种数学术语。恒等函子(identity functor)亦称单位函子.一个范畴到自身的恒等变换.若留为一个范畴，函子I，，使子的每个对象都变成自己，也使省中的任意态射变到自己，则称F为留上的恒等函子，常记为I。