Let $p:Xlo B$ be a locally trivial principal G-bundle and $wt{p}:wt{X}lo B$ be a locally trivial principal $wt{G}$-bundle. In this paper, by using the structure of principal bundles according to transition functions, we show that $wt{G}$ is a covering group of $G$ if and only if $wt{X}$ is a covering space of $X$. Then we conclude that a topological space $X$ with non-simply connected universal...

In this paper, we introduce a new geometric description of the manifolds matrices fixed rank. The starting point is Grassmann manifold Gr(Rk) linear subspaces dimension r<k in Rk, which avoids use equivalence classes. set equipped with an atlas, provides it structure analytic modeled on R(k?r)×r. Then, define atlas for Mr(Rk×r) full rank and prove that resulting principal bundle base typical...

We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article is to show that for a principal fibre bundle over paracompact manifolds, there is a principal fibre bundle isomorphism between pull-backs obtained from homoto...

We define the pull-back of a smooth principal fibre bundle, and show that it has a natural principal fibre bundle structure. Next, we analyse the relationship between pull-backs by homotopy equivalent maps. The main result of this article is to show that for a principal fibre bundle over a paracompact manifold, there is a principal fibre bundle isomorphism between pull-backs obtained from homot...

A categorical principal bundle is a structure comprised of categories that is analogous to a classical principal bundle; examples arise from geometric contexts involving bundles over path spaces. We show how a categorical principal bundle can be constructed from local data specified through transition functors and natural transformations.