Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
homotopy addition lemma and corollary (Theorem)

Homotopy addition lemma

Let $f: \boldsymbol{\rho}^\square(X) \to \mathsf D$ be a morphism of double groupoids with connection. If $\alpha \in {\boldsymbol{\rho}^\square_2}(X)$ is thin, then $f(\alpha)$ is thin.

Remarks

The groupoid ${\boldsymbol{\rho}^\square_2}(X)$ employed here is as defined by the cubically thin homotopy on the set $R^{\square}_2(X)$ of squares. Additional explanations of the data, including concepts such as path groupoid and homotopy double groupoid are provided in an attachment.

Corollary

Let $u : I^3\to X$ be a singular cube in a Hausdorff space $X$. Then by restricting $u$ to the faces of $I^3$ and taking the corresponding elements in $\boldsymbol{\rho}^{\square}_2 (X)$, we obtain a cube in $\boldsymbol{\rho}^{\square} (X)$ which is commutative by the Homotopy addition lemma for $\boldsymbol{\rho}^{\square} (X)$ ([1], proposition 5.5). Consequently, if $f : \boldsymbol{\rho}^{\square} (X)\to \mathsf{D}$ is a morphism of double groupoids with connections, any singular cube in $X$ determines a commutative 3-shell in $\mathsf{D}$.

Bibliography

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.



"homotopy addition lemma and corollary" is owned by bci1.

View style:

See Also: cubically thin homotopy

Also defines:  commutative 3-shell, morphism of double groupoids
Keywords:  homotopy, homotopy addition lemma, cubically thin homotopy

Cross-references: proposition, double groupoid, homotopy, concepts, groupoid, morphism

This is version 16 of homotopy addition lemma and corollary, born on 2009-05-01, modified 2009-05-02.
Object id is 710, canonical name is HamiltonianAlgebroid.
Accessed 693 times total.

Classification:
Physics Classification: 00. (GENERAL)
 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
 03.65.Fd (Algebraic methods )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "