Commutative diagrams and equality of composition

  • Context: Undergrad 
  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Composition Diagrams
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 1K views
Mr Davis 97
Messages
1,461
Reaction score
44
I am a little bit confused on how commutative diagrams show equality of two morphisms. For example, one can imagine the diagram for hf = kg, where composing f and g is the same morphism as composing h and k:
https://upload.wikimedia.org/wikipedia/commons/9/91/Commutative_square.svg

Why does the commutativity of this diagram imply equality of the composition h and f, and k and g? Wouldn't the commutativity just show that hf and kg have the same domain and codomain but are not necessarily the same map?
 
Physics news on Phys.org