Bar and cobar constructions Higher-dimensional manifolds mathematics