There is a Poincare embedding structure on the diagonal X --> XxX unde
r the conditions: i) X is formed by gluing two compact smooth manifold
s along their boundaries using a homotopy equivalence and ii) a square
-root closed condition is satisfied by the fundamental groupoid of the
boundary.