Page "Limit (category theory)" Paragraph 57

Limits and colimits are important special cases of universal constructions.

Let C be a category and let J be a small index category.

The functor category C < sup > J </ sup > may be thought of the category of all diagrams of type J in C. The diagonal functor