Identity
Let f : A → B be a morphism of a category containing two objects A and B. Associated with these objects are the identity morphisms 1A : A → A and 1B : B → B. By composing these with f, we construct two morphisms:
- f 1A : A → B, and
- 1B f : A → B.
Both are morphisms between the same objects as f. We have, accordingly, the following coherence statement:
- f 1A = f = 1B f.
Read more about this topic: Coherence Condition
Famous quotes containing the word identity:
“So long as the source of our identity is external—vested in how others judge our performance at work, or how others judge our children’s performance, or how much money we make—we will find ourselves hopelessly flawed, forever short of the ideal.”
—Melinda M. Marshall (20th century)
“The modern world needs people with a complex identity who are intellectually autonomous and prepared to cope with uncertainty; who are able to tolerate ambiguity and not be driven by fear into a rigid, single-solution approach to problems, who are rational, foresightful and who look for facts; who can draw inferences and can control their behavior in the light of foreseen consequences, who are altruistic and enjoy doing for others, and who understand social forces and trends.”
—Robert Havighurst (20th century)
“Having an identity at work separate from an identity at home means that the work role can help absorb some of the emotional shock of domestic distress. Even a mediocre performance at the office can help a person repair self-esteem damaged in domestic battles.”
—Faye J. Crosby (20th century)