Cobar Construction

- Pure Mathematics -
Algebra Dictionary
Definition
A cochain-level dual of the bar construction that builds differential graded coalgebra or algebra models from counital coalgebras or augmented differential graded algebras, used to compute Ext, cohomology, and model homotopy types.