eine Folge \begin{eqnarray}{C}^{\bullet }:={({C}^{i},{d}_{i}:{C}^{i}\to {C}^{i+1})}_{i\in {\mathbb{Z}}}\end{eqnarray} abelscher Gruppen Cⁱ und Gruppenhomomorphismen d_i, für welche d_i ○ d_i−1 = 0 gilt.

Ein Kokomplex heißt nach unten (oben) beschränkt, falls Cⁱ = 0 für i ≪ 0 (i ≫ 0). Ein Kokomplex heißt beschränkt, falls er sowohl nach oben als auch nach unten beschränkt ist. Ein Kokomplex heißt positiv (negativ), falls Cⁱ = 0 für i< 0 (i > 0).

Für jeden Kokomplex C^• kann für n ∈ ℤ die n-te Kohomologiegruppe \begin{eqnarray}{H}^{n}({C}^{\bullet }):=\ker {d}_{n}/\,\text{im}{d}_{n-1}\end{eqnarray} defininiert werden. In Anlehnung an die Anwendungen in der algebraischen Topologie (simplizialer Kokomplex) verwendet man auch oft statt Kokomplex die Bezeichung Kokettenkomplex (engl. cochain complex). Die Elemente in Cⁱ werden auch als Koketten (engl. cochains), die Elemente in ker d_i als Kozykel (engl. cocycles) und die Elemente in im d_i−1 als Koränder (engl. coboundaries) bezeichnet. Die Abbildung d_i heißt auch Korandoperator bzw. Differential. Zwei Kozykel, die dasselbe Element in Hⁿ(C^•) repräsentieren, heißen kohomolog.

Ein Kokomplex heißt exakter Kokomplex oder auch exakte Sequenz, bzw. lange exakte Sequenz, falls Hⁿ(C^•) = 0 für alle n. Ein positiver Kokomplex heißt azyklischer Kokomplex, falls Hⁿ(C^•) = 0 für n ≥ 1, d. h. alle Kohomologiegruppen verschwinden bis eventuell auf H⁰(C^•).

Die eingeführten Begriffsbildungen sind sinnvoll für Kokomplexe mit Objekten und Morphismen aus einer beliebigen abelschen Kategorie. Von spezieller Bedeutung sind die Kokomplexe von Vektorräumen, Kokomplexe von Moduln über einem kommutativen Ring und Kokomplexe von Garben abelscher Gruppen. Den Kohomologiegruppen entsprechen dann jeweils Objekte in der zugrunde gelegten Kategorie. Es gibt auch den dualen Begriff des Komplexes. Manchmal bezeichnet man auch die Kokomplexe selbst als Komplexe.

Zusammen mit den Komplexmorphismen als Morphismen bilden die Kokomplexe eine abelsche Kategorie Die Zuordnung der n-ten Kohomologiegruppe ist ein Funktor.

Ein Beispiel eines Kokomplexes wird durch den de Rham-Komplex auf einer endlichdimensionalen differenzierbaren Mannigfaltigkeit gegeben. Die i-Koketten sind die i-Differentialformen, die Morphismen sind die äußeren Ableitungen der Differentialformen. Es handelt sich hierbei um einen beschränkten Komplex. Die Kohomologiegruppen sind die de Rham-Kohomologiegruppen der differenzierbaren Mannigfaltigkeit.