Kolimes

Der Kolimes oder Colimes ist eine mathematische Konstruktion, mit der man aus gegebenen Objekten und Morphismen zwischen ihnen neue Objekte und Morphismen erhält. Ein wichtiger Spezialfall ist der sogenannte filtrierte oder induktive Limes, den man sich grob als eine aufsteigende Vereinigung von Objekten vorstellen kann. Die abstrakte Definition in der Kategorientheorie umfasst diesen Spezialfall, sie ist, wie der Name schon andeutet, dual zur Bildung des Limes.