トポロジーと微分幾何学のための代数的ツールを提供する。