# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Commutative diagram

In mathematics, especially the many applications of category theory, a commutative diagram is a diagram of objects and morphisms such that, when picking two objects, one can follow any path through the diagram and obtain the same result by composition.

For example, the first isomorphism theorem is a commutative triangle as follows:

Since f = h o φ, the left diagram is commutative; and since φ = k o f, so is the right diagram.

Similarly, the square above is commutative if y o w = z o x.

Commutativity makes sense for a polygon of any finite number of sides (including just 1 or 2), and a diagram is commutative if every polygonal subdiagram is commutative.

03-10-2013 05:06:04