Covering groupoids of categorical rings (original) (raw)
A categorical group is a kind of categorization of group and similarly a categorical ring is a categorization of ring. For a topological group X, the fundamental groupoid ?X is a group object in the category of groupoids, which is also called in literature group-groupoid or 2-group. If X is a path connected topological group which has a simply connected cover, then the category of covering groups of X and the category of covering groupoids of ?X are equivalent. Recently it was proved that if (X, x0) is an H-group, then the fundamental groupoid ?X is a categorical group and the category of the covering spaces of (X, x0) is equivalent to the category of covering groupoids of the categorical group ?X. The purpose of this paper is to present similar results for rings and categorical rings.
Related papers
Topological Group-Groupoids and Equivalent Categories
Yüzüncü Yıl Üniversitesi Fen Bilimleri Enstitüsü Dergisi
The concept of groupoid was offered by Brandt (1926). The structure of the topological groupoid was given by Ehresmann (1958). A groupoid action is a significant appliance in algebraic topology offered by Ehresmann. Another algebraic notion is a covering given by Brown (1988). The topological group-groupoids (Γ-groupoid) were first put forward by Icen & Ozcan (2001). The definition of coverings of topological Γ groupoid and actions of topological Γ-groupoid were also presented by Icen et al. (2005). In this paper, we are going to create a category TΓGpdCov(Γ) of covering morphisms of TΓ-groupoid and a category TΓGpdOp(Γ) of actions of TΓ-groupoid. We will then prove that these categories are equivalent.
Actions of Double Group-groupoids and Covering Morphism
GAZI UNIVERSITY JOURNAL OF SCIENCE, 2020
• Covering morphism of double groupoids derived by action double groupoid was considered. • Action double group-groupoid on a group-groupoid was characterized. • Covering morphism of double group-groupoids was obtained. • A categorical equivalence was proved.
2010
It is known that if X is a topological group, then the fundamental groupoid π1(X) is a group-groupoid, i,e, a group object in the category of groupoids. The group structure of a group-groupoid lifts to a covering groupoid. Further if G is a group-groupoid, then the category GpGdAct(G) of groupgroupoid operations and the category GpGdCov/G of group-groupoid coverings of G are equivalent. In this paper we prove the corresponding results for local topological groups and local group objects in the category of groupoids.
Coverings and crossed modules of topological groups with operations
TURKISH JOURNAL OF MATHEMATICS, 2014
It is a well-known result of the covering groups that a subgroup G of the fundamental group at the identity of a semilocally simply connected topological group determines a covering morphism of topological groups with characteristic group G. In this paper we generalize this result to a large class of algebraic objects called topological groups with operations, including topological groups. We also prove that the crossed modules and internal categories within topological groups with operations are equivalent. This equivalence enables us to introduce the cover of crossed modules within topological groups with operations. Finally, we draw relations between the coverings of an internal groupoid within topological groups with operations and those of the corresponding crossed module.
Journal of Algebra, 2008
For a group G we establish a Galois correspondence between abelian covers of G and rings in M 0 (G) := {f : G → G | f (0) = 0}. We then use this correspondence to investigate structural properties of these rings.
2023
The primary goal of this paper is to provide a comprehensive presentation of the fundamental groupoid, along with the necessary category theory required to define it and prove its fundamental properties. This will lead to the proof of the Seifert Van Kampen theorem for fundamental groupoids. From there, we will discuss basic notions of 2-category theory: this will allow us to explore the categorical properties of the fundamental groupoid when viewed as a costack over the category of 2-groupoids. We will show that, for a “nice" class of topological space, the fundamental groupoid is a terminal object in this category: this provides a purely categorical description of the fundamental groupoid. The focal point of this project is the discussion of this result, originally formulated and proved by Ilia Pirashvili in 2015. It serves as the main subject of investigation, offering valuable insights that will inform our concluding remarks and motivate questions for further research.
1993
All spaces are assumed to be locally path connected and semi-locally 1-connected. Let X be a connected topological group with identity e, and let p: ˜ X → X be the universal cover of the underlying space of X. It follows easily from classical properties of lifting maps to covering spaces that for any point ˜e in ˜ X with p˜e = e there is a unique structure of topological group on ˜ X such that ˜e is the
A note on topological semigroup-groupoid
2013
In this paper we prove that the set of homotopy classes of paths in topological semigroup is a semigroup-groupoid. Further, we define the category TSGCov/X of topological semigroup coverings of X and prove that its equivalent to the category SGpGpdCov/ of covering groupoids of the semigroup-groupoid . We also prove that the topological semigroup structure of a topological semigroup-groupoid lifts to a universal topological covering groupoid.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.