Editing Limit (category theory) (section)

===Variations===
Limits and colimits can also be defined for collections of objects and morphisms without the use of diagrams. The definitions are the same (note that in definitions above we never needed to use composition of morphisms in <math>J</math>). This variation, however, adds no new information. Any collection of objects and morphisms defines a (possibly large) [[directed graph]] <math>G</math>. If we let <math>J</math> be the [[free category]] generated by <math>G</math>, there is a universal diagram <math>F:J\to C</math> whose image contains <math>G</math>. The limit (or colimit) of this diagram is the same as the limit (or colimit) of the original collection of objects and morphisms.

'''Weak limit''' and '''weak colimits''' are defined like limits and colimits, except that the uniqueness property of the mediating morphism is dropped.