>>33
>ホモロジーは余代数になる
H(X×X)→H(X)\otimesH(X)
は?