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[?].
All Wikipedia text
is available under the
terms of the GNU Free Documentation License
Search Encyclopedia
Search over one million articles, find something about almost anything!