commutative diagram

views updated

commutative diagram A method for displaying equations between functions. For example, suppose that there is a function φ φ : XY

and what is needed is to represent or code the data in X and Y, and the function, by means of the data sets A and B, respectively. Functions α and β are chosen where α : AX and β : BY

and a function f : AB is defined to be a representation or function for φ on the code sets A and B if, for all aA, the following equation holds: φα(a) = βf(a)

This equation is depicted by the commutative diagram shown in the figure.

Equations and commutative diagrams of this form play an important role in relating different levels of abstraction, and are used to formulate the correctness of data-type implementations, compilers, and machine architectures. As equations grow in complexity, commutative diagrams become essential. See also computable algebra.