Covering groupoids of categorical groups
Abstract
If $X$ is a topological group, then its fundamental groupoid $\pi_1X$ is a group-groupoid which is a group object in the category of groupoids. Further if $X$ is a path connected topological group which has a simply connected cover, then the category of covering spaces of $X$ and the category of covering groupoids of $\pi_1X$ are equivalent. In this paper we prove that if $(X,x_0)$ is an $H$-group, then the fundamental groupoid $\pi_1X$ is a categorical group. This enable us to prove that the category of the covering spaces of an $H$-group $(X,x_0)$ is equivalent to the category of covering groupoid of the categorical group $\pi_1X$.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2016
- DOI:
- 10.48550/arXiv.1601.07104
- arXiv:
- arXiv:1601.07104
- Bibcode:
- 2016arXiv160107104M
- Keywords:
-
- Mathematics - Category Theory;
- Mathematics - Algebraic Topology;
- 22A05;
- 55M99;
- 55R15
- E-Print:
- 15 pages, research article, LaTeX2e, xypic