About Unit
An element of these that = = for all ∈ is named a unit factor. (When the legislation of composition is prepared additively, the unit factor is denoted by 0, and is named a zero component.)
(classification principle) In an adjunction, a all-natural transformation within the identification fun