中，阻碍理论（）是两个不同数学理论的名字，两者都导出了上同调不变量。
同伦理论.阻碍理论在同伦论中的早期含义是关于将定义在一个单纯复形或CW-复形上的连续映射对维数归纳延拓的一个手续。传统上称为艾伦伯格阻碍理论（），得名于塞缪尔·艾伦伯格命名。它用系数取值于同伦群得上同调群来定义延拓的阻碍。例如，有一个从单纯复形"X"到另一个"Y"的映射，首先定义在"X"的0-骨架（"X"的顶点），只要"Y" 道路连通则总可延拓到1-骨架。由1-骨架延拓到2-骨架意味着在从"X"的三角形出发的边在