commutative diagram
commutative diagram A method for displaying equations between functions. For example, suppose that there is a function φ φ : X → Y
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 α : A → X and β : B → Y
and a function f : A → B is defined to be a representation or function for φ on the code sets A and B if, for all a∈A, 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.
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 α : A → X and β : B → Y
and a function f : A → B is defined to be a representation or function for φ on the code sets A and B if, for all a∈A, 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.
More From encyclopedia.com
Primitive Recursion , primitive recursive function A function that can be obtained from certain initial functions by a finite number of applications of composition and pri… Function , A function is a mathematical relationship between two sets of real numbers. These sets of numbers are related to each other by a rule that assigns ea… Domain , Domain
The domain of a relation is the set that contains all the first elements, x, from the ordered pairs (x,y) that make up the relation. In mathem… inverse , inverse
1. (converse) of a binary relation R. A derived relation R–1 such that whenever x R y then y R–1 x
where x and y are arbitrary elements of th… wavelet , wavelet •mallet, palette, pallet, valet •tablet • pamphlet • aglet • anklet •candlelit • hamlet •Caplet, chaplet •lamplit • flatlet • mantlet •haslet… Equation , equation An expression that asserts the equality of two terms. To be precise, an equation has the following form. Let Σ be a signature and let t1(X1,…
You Might Also Like
NEARBY TERMS
commutative diagram