URegina Topology and Geometry Seminar: Don Stanley

Continuing our exploration of formal connections, we will see how the bar construction gives us a way to interpret it as a morphism between homotopy associative algebras. We will also see how its adjoint, the cobar construction, is used to prove that the holonomy of a formal connection gives an isomorphism into the homology of a manifold's based loop space.