본 논문에서는 무한 복합체의 명시적 해상도를 구성하는 다양한 방법들이 특정 조건이 충족되지 않을 경우 실패할 수 있음을 보여주는 반례를 제시하고, 이러한 방법들을 구제하기 위해서는 로스의 (Ab.4˚)-k 공리를 만족하는 아벨 범주를 고려해야 함을 주장합니다.