What is the meaning of Identity_functor?
A functor from a category to itself which maps each object of that category to itself and each morphism of that category to itself.
Source: wiktionary.orgSearch words containing
A functor from a category to itself which maps each object of that category to itself and each morphism of that category to itself.
Source: wiktionary.orgSearch words containing