結局既存の数学的対象を分解して再構築するんだから、コホモロジーも糞もないわな