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:
“For the mother who has opted to stay home, the question remains: Having perfected her role as a caretaker, can she abdicate control to less practiced individuals? Having put all her identity eggs in one basket, can she hand over the basket freely? Having put aside her own ambitions, can she resist imposing them on her children? And having set one example, can she teach another?”
—Melinda M. Marshall (20th century)
“Let it be an alliance of two large, formidable natures, mutually beheld, mutually feared, before yet they recognize the deep identity which beneath these disparities unites them.”
—Ralph Waldo Emerson (1803–1882)
“I look for the new Teacher that shall follow so far those shining laws that he shall see them come full circle; shall see their rounding complete grace; shall see the world to be the mirror of the soul; shall see the identity of the law of gravitation with purity of the heart; and shall show that the Ought, that Duty, is one thing with Science, with Beauty, and with Joy.”
—Ralph Waldo Emerson (1803–1882)