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:
“Growing has no connection with audience. / Audience has no
connection with identity. / Identity has no
connection with a universe. / A universe has no
connection with human nature.”
—Gertrude Stein (1874–1946)