Résolution de Cartan–Eilenberg

Une résolution de Cartan–Eilenberg est un double complexe (une bi‑résolution) construit à partir d'objets projectifs (ou injectifs) qui résout simultanément un module horizontalement et verticalement ; elle sert à calculer les foncteurs dérivés de foncteurs composés et à produire les suites spectrales qui relient ces foncteurs dérivés.