Exakte Folge

Eine Folge von Objekten und Morphismen ...A → B → C... in einer additiven oder abelschen Kategorie (oder jeder Kategorie mit Kernen und Bildern), so dass an jedem Objekt das Bild des eingehenden Morphismus gleich dem Kern des ausgehenden Morphismus ist; Exaktheit kodiert präzise algebraische Relationen.