ホモロジー論を公理的に(を通じて)定義して、公理の1つ("次元公理")を緩めれば、と呼ばれる一般化された理論を得る。