PlanetPhysics/Hamiltonian Algebroid
Homotopy addition lemma
editLet Failed to parse (syntax error): {\displaystyle f: \boldsymbol{\rho ^\square(X) \to \mathsf D} be a morphism of double groupoids with connection. If is thin, then is thin.}
Remarks
editThe groupoid employed here is as defined by the cubically thin homotopy on the set of squares. Additional explanations of the data, including concepts such as path groupoid and homotopy double groupoid are provided in an attachment.
Corollary
edit\emph{Let be a singular cube in a Hausdorff space . Then by restricting to the faces of and taking the corresponding elements in , we obtain a cube in which is commutative by the Homotopy addition lemma for ([1], proposition 5.5). Consequently, if is a morphism of double groupoids with connections, any singular cube in determines a [3-shell commutative]{http://www.math.purdue.edu/research/atopology/BrownR-Kamps-Porter/vkt7.txt} in .}