表現理論の基礎応用における同相代数