Eilenberg-Steenrodの公理系を満たすホモロジー理論は唯一ですか?
それとも一意性はCW複体の圏などまでですか?