Diagram

Let be a Category (almost always Small Category, often finite).
A diagram of shape in is a functor .
The Objects for are called vertices of ,
and the morphisms for are called edges of .

Example

If is the Category

a diagram of shape is a commutative square.

If is

a diagram of shape is a not-necessarily-commutative square.