In category theory the colimit of a functor, also known as a direct limit, is dual to the notion of a limit (or inductive limit).
The general definition of a colimit is given on the limit page. Special cases of colimits, each dual to a special case of limits, include coproduct[?], coequaliser[?], pushout[?].