weak homotopy double groupoid

Definition 0.1. a weak homotopy double groupoid (WHDG) of a compactly–generated space X_cg, (weak Hausdorff space) is defined through a construction method similar to that developed by R. Brown (ref. [1]) for the homotopy double groupoid of a Hausdorff space. The key changes here involve replacing the regular homotopy equivalence relation from the cited ref. with the weak homotopy equivalence relation in the definition of the fundamental groupoid, as well as replacing the Hausdorff space by the compactly-generated space X_cg. Therefore, the weak homotopy data for the weak homotopy double groupoid of X_cg, ρ^□(X_cg), will now be:

□ □ − + □ □ − + (ρ2 (X ),ρ 1(X ),∂1 ,∂ 1 ,+1, 𝜀1),ρ2(X ),ρ1 (X ),∂ 2 ,∂2 ,+2,𝜀2) □ − + (ρ1(X ),X, ∂ ,∂ ,+, 𝜀).

References

[1] R. Brown, K.A. Hardie, K.H. Kamps and T. Porter, A homotopy double groupoid of a Hausdorff space, Theory and Applications of Categories 10,(2002): 71-93.

"weak homotopy double groupoid" is owned by bci1.
(view preamble)