Diagrams (Category Theory)

A diagram of shape \(J\) in a category \(C\) is a functor \(F: J \to C\).

Examples

One may consider the constant diagram functor.