Commutative diagrams

From Why start at x, y, z
Revision as of 17:17, 12 July 2021 by Benrbray (talk | contribs) (basic summary of commutative diagram ambiguities)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In category theory, reading commutative diagrams requires an understanding of which variables are bound and which are free. Some authors choose to annotate their diagrams with universal quantifiers like \( \forall x,y,z \) to indicate the set of free variables, implying the rest are bound.

When such annotations are not included, the diagram alone is not precise enough to decode the intended logical statement. To read a commutative diagram, we must infer the bound and free variables from context.