Questions tagged [groupoids]

A groupoid is a small category in which every morphism is an isomorphism. They arise throughout mathematics, e.g. in guise of fundamental groupoids in the theory of covering spaces, holonomy groupoids in the theory of foliations or Lie groupoids in mathematical physics. For groupoids in the sense of universal algebra, i.e., a set with a binary operation, please use the (magma) tag. Also, use other tags such as monoid or category-theory, if needed.

Filter by
Sorted by
Tagged with
2
votes
1answer
86 views

Functors making functions natural trasformations and vice-versa.

I apologize in advance if this is naive. In this answer Conjugation in a groupoid it is said that given a groupoid $\mathcal G$, and an arbitrary function $\mu:\mathcal G_0\to \bigcup_{x\in \mathcal ...
0
votes
1answer
56 views

(non-)Existence of an endofunctor of $F$ on $g/{\bf B}G^\circlearrowleft$ given the definition of $F$ on objects.

In few words: given an element of a group $g\in G$ given an I'd like to define and endofunctor $$F:g/{\bf B}G^\circlearrowleft\to g/{\bf B}G^\circlearrowleft$$ I have defined $F$ on objects and I'd ...
4
votes
1answer
54 views

What are groupoids?

As far as I know a groupoid is a category in which every morphism is invertible, however I do not understand this alternative definition: Let $\mathcal{C}$ be a category with coproducts, $\mathcal{T}$ ...
4
votes
0answers
57 views

What is the practical benefit of a groupoid structure?

Pardon if this question is vague or misguided, I'm a CS person who only dabbles in math. In a groupoid all morphisms are isomorphisms. So then, any two objects with a morphism between them must be ...
3
votes
2answers
74 views

Is a connected groupoid uniquely determined by its objects and fundamental group?

A small connected groupoid is such a category $G$ that: $\text{Ob}(G)$ is a nonempty set $\text{Hom}_G(a,b)$ is a nonempty set for all $a,b\in\text{Ob}(G)$ $f$ is invertible for each $f\in\text{Hom}...
1
vote
0answers
51 views

Classical Galois Theory and Groupoids?

Given your favorite field $k$, we can build its groupoid of algebraic closures in the obvious way: Look at the category of all possible algebraic closures with field isomorphisms as the arrows. This ...
5
votes
2answers
84 views

Good book for self-study of Magmas/Semigroups/etc.?

I'm currently an undergrad in my second semester of Abstract Algebra. We've covered groups, rings, fields, all that fun stuff. I'm working with Shahriari's "Algebra in Action" as well as ...
1
vote
1answer
35 views

Explicit description of pullback of $(2,1)$-categories.

Let us consider the ordinary category of $(2,1)$-categories. Its objects are groupoid enriched categories, and its morphisms are 2-functors. Is there an explicit way to define the objects, morphisms ...
1
vote
0answers
44 views

Pushout of groupoid

I'm learning category theory. There's a homework question asking for a pushout of groupoid. Suppose $C_0,C_1,C_2$ are groupoids and denote $f_i:C_0\to C_i\quad i=1,2$ the functor. I have managed to ...
1
vote
0answers
62 views

Hopf “algebroid” structure of a groupoid convolution algebra?

To male thinks simple as possible, lets say we have a discrete group $G.$ Then the then the group algebra $\mathbb{C}[G]$ (of finitely supported complex valued functions on $G$) has a convolution and ...
1
vote
0answers
34 views

adjunctions from either the category of small categories or the category of groupoids

I'm looking for examples of adjunctions involving either the category Gpd of groupoids or the category Cat of small categories. The insertion of Gpd into Cat has both a left and a right adjoint, so ...
0
votes
0answers
13 views

Reference request: Integration of A-paths.

Recall that an A-path for a Lie Algebroid is an an algebroid morphism from the tangent bundle over the unit interval $[0,1]= I$ to a general Lie algebroid $A$. Now, whenever A is the algebroid of some ...
2
votes
2answers
109 views

Equivalence Between Category of Covering Spaces and Category of Sets with an Action By The Fundamental Groupoid

Let $\Pi_1(X)$ be the fundamental groupoid of a locally path-connected topological space $X$ and define $\Pi_1(X)-\mathbf{Sets}$ to be the category of sets equipped with an action by the fundamental ...
4
votes
1answer
114 views

Functor From Category of Covering Spaces to Category of Sets Equipped With An Action By The Fundamental Groupoid

I have some problems with the understanding of the connection between covering spaces and the fundamental groupoid. Let $X$ be a topological space and let $\Pi_1(X)$ denote the fundamental groupoid of ...
0
votes
1answer
44 views

Proving that a groupoid is a group, knowing the following properties

(G, ·) is a groupoid. Prove that if it has the following properties it is also a group: $$1) (a · b) · c = a · (b · c), (\forall)a, b, c \in G;$$ $$2) (∃)u ∈ G : u · a = a · u = a, (∀)a ∈ G;$$ $$3) (∀)...
1
vote
1answer
43 views

The small concrete category $C = (\mathbb{Z_2}, +)$?

I'm grappling with the question of viewing a group as a category, which as I understand it means that if $(G,+)$ is the group in question, then the group can also be thought of as a small concrete ...
0
votes
0answers
51 views

What's the Internal language of a groupoid?

Is there any existing literature on what the internal language of a groupoid might look like? Please excuse the syntax bashing of this amateur, but i came up with: symmetry (structural rule): $$ \frac{...
2
votes
1answer
87 views

classifying space induces a equivalence of categories between PBun$_G(M)$ and $\Pi(M,BG)$ for finite groups $G$

Let $G$ be a finite group, $BG$ its classifying space and M a manifold. Then it is mentioned in https://arxiv.org/abs/1705.05171 (Remark 2.3 d) that there is an equivalence of categories $$ \Pi (M,BG) ...
1
vote
0answers
38 views

Notation for the scope of definition of a partial binary operation of a groupoid

I have a groupoid ${\displaystyle (G,\ast )}$ with a partial binary operation ${\displaystyle *:G\times G\rightharpoonup G}$. For every $(a,b)\displaystyle ∈G\times G$, $\displaystyle *$ is defined if ...
0
votes
0answers
31 views

Convolution algebra of a groupoid

In this paper in order to explain conormal distribution the authors use the fact that “the elements of the convolution algebra of a groupoid are sections of a density bundle $\Omega ^{1/2}$ rather ...
0
votes
0answers
54 views

Name for semigroupoid-like structure applicable to a water flow network in graph theory

Hope you are well. I am studying flow networks (flows of water) in graph theory. By flow network I mean a graph $G = (V,E)$ where $V$ is a set of $ℝ_{>0}$ labelled vertices (water tanks filled with ...
1
vote
0answers
41 views

Group isomorphism between identity morphisms of fundamental groupoid and fundamental group of topological space

For any topological space $X$, I have defined $C=\Pi_1(X)$ by objects $\text{Ob}(C)=X$ and morphisms $\text{Hom}_C(x,y)=\text{HPath}(x,y)$, where $\text{HPath}(x,y)$ denotes the set of homotopy ...
2
votes
2answers
81 views

Homotopy cardinality of weak quotients

Let $G$ be a group (regarded as a one-object groupoid) acting on a groupoid $X$ (i.e.: a functor $F: G \to \mathsf{Groupoids}$ sending the unique object of $G$ to $X$). Denote with $X//G$ the “weak ...
1
vote
0answers
22 views

Definition of Haar systems, especially for groupoids $C^*$-algebra

In A Groupoid approach to $C^*$-algebras Jean Renault introduces left Haar systems. Say $G$ is a groupoid. Let $\Lambda=\{\mu^u,\,\,:\,\,u\in G^0\}$ be a family of Haar measures on $G$. Renault ...
1
vote
0answers
45 views

Help with understanding the definition of a Hodge groupoid

I am reading this PhD thesis and I can't understand definition 6.21: (Hodge groupoid). $(X/S)_{Hod}$ is a groupoid whose object object is $X\times \Bbb A^1_S$ and whose morphism object $N_{Hod}$ is ...
2
votes
0answers
57 views

How units of a Lie groupoid act on a manifold?

The definition of a Lie groupoid action given in Sébastien Racanière's notes (up to notation) says that the action of a Lie groupoid $\mathcal{G} \rightrightarrows M$ on a smooth manifold $Q$ consists ...
1
vote
1answer
76 views

Cancellation law in a Lie groupoid

I'm playing around with the definition of a Lie groupoid following Eckhard Meinrenken's notes. I read the thing for the first time in my life like an hour ago, so assume that I don't know anything ...
3
votes
3answers
191 views

Simplicial sets which are not Kan complexes

A Kan complex is a simplicial set satisfying the horn-filler condition. What examples are there of simplicial sets which do not satisfy the horn-filler condition? In particular, what simplicial sets ...
0
votes
1answer
36 views

Every normal subgroupoid is the kernel of a groupoid morphism

Sorry for the block of text from Kirill Mackenzie's chapter on groupoids. I have proven that $\natural,\natural_0$ is a groupoid morphism and that this quotient construction satisfies the groupoid ...
1
vote
0answers
16 views

Why Isn't a piecewise-injective groupoid morphism injective?

The following is a question I had while reading Kirill Mackenzie's first book (RIP) on groupoids. He says that if a groupoid morphism is base-injective and piecewise-injective, then it is injective. I ...
2
votes
0answers
40 views

Exact sequences of Groupoids?

My question is basically: Is there a good notion of complexes of groupoids and there exactness? I haven't found a definition online.
2
votes
0answers
39 views

Bijection Between Maps of Covering Spaces and Maps of Fundamental Groupoid Covers

I'm reading May's Concise Course in Algebraic Topology. He states: My question is about this last corollary. How does the bijection $\text{Cov}(E, E') \to \text{Cov}(\Pi(E), \Pi(E'))$ immediately ...
0
votes
0answers
19 views

Inverse of a product in a groupoid

I know it is too trivial question to ask. Let $G$ be a groupoid. I am following the algebraic defition not the categorical one. $(x,y)$ is a composable pair $\iff$ $s(x)=r(y)$ which will imply $(y^{-1}...
0
votes
0answers
13 views

product in Groupoids

Let $G$ be a groupoid and let $G^{(2)}$ , $G^{(0)}$ denotes its composable pairs and unit space respectively. We have $(x,y) \in G^{(2)}\Leftrightarrow s(x)=r(y)$ where $s$ and $r$ are source and ...
4
votes
1answer
102 views

Quotient by a topological groupoid.

Let $G$ be a group acting on a topological space $X$, then the quotient map $X \to X/G$ is open. I want to ask, whether this fact generalizes to orbit spaces of groupoids. More precisely: Let $G$ be a ...
1
vote
2answers
54 views

$G$-set are groupoids of a fibred category

Take the category of all G-sets for different groups $G$. Each $G$-set is the groupoid $G \times \Omega \to \Omega$ (the first projection is the source and the action map is the target). I am not ...
2
votes
3answers
117 views

Why can't the 3-type of $S^2$ be delooped?

In 2.2 of this paper, the argument runs through the fact that the 3-type of $S^2$ cannot be delooped. Why not? I understand that this is probably a fairly basic fact of homotopy theory (hence neither ...
2
votes
0answers
39 views

Number of fixed point free permutations by groupoid cardinals

It is well known that the number $D_n$ of derangements (fixed point free permutations) on a set of $n$ elements is exactly $\left[\dfrac{n!}e\right]$, the closest integer number to $\dfrac{n!}e$. ...
9
votes
1answer
225 views

$\pi_1(S^1, 1)$ via the fundamental groupoid

I'm currently reading Ronnie Brown's Topology and Groupoids and am stuck on a small detail of his computation of the fundamental group of the circle (in particular his computation of the group's ...
2
votes
1answer
51 views

Functor from $BG \to \text{Gpd}$ induces functors for each $g \in G$.

I'm reading Groupoids and Stuff. Page 7. Definition 1.3.1. A group action of a a finite group $G$ on a groupoid $X$ is a functor $A : B G \to \text{Gpd}$ such that $A(I) = X$ where $I$ is the unique ...
1
vote
1answer
40 views

Groupoids all of whose subcategories are themselves groupoids

It is known that every submonoid of a group $G$ is a subgroup if and only if $G$ is a periodic group, i.e. all of its elements have finite order. The following question is a generalization of the ...
0
votes
1answer
27 views

How to realize the map $\eta$ globally?

I have a given map $\Phi: \mathcal{G}\longrightarrow \mathcal{H}$ between two groupoids such that $\Phi_g: \mathcal{G}_x\longrightarrow \mathcal{G}_y$ is a functor between the groupoids $\mathcal{G}_x$...
7
votes
1answer
152 views

Riehl's Category Theory in Context - Exercise 1.5.vii without Axiom of Choice

From Emily Riehl, Category theory in context: Exercise 1.5.vii. Let $\mathbf{\mathsf G}$ be a connected groupoid and let $G$ be the group of automorphisms at any of its objects. The inclusion $\...
10
votes
0answers
110 views

Exemples of applications of “groupoidification” to linear algebra

I just read Baez's very nice blog notes about groupoidification, and around the beginning, he states : "From all this, you should begin to vaguely see that starting from any sort of incidence ...
1
vote
0answers
33 views

Is the 2-Category of Groupoids Locally Presentable?

I am wondering if the 2-Category of groupoids is Locally Presentable? Locally presentable means the category is accessible and co-complete. Edit: It has been pointed out that the category of ...
3
votes
0answers
88 views

Why are categories not called monoids (and why are monoids not called… mons?) [closed]

If groupoids are "indexed groups", wouldn't that same naming scheme imply that categories should be called "monoidoids", or more sensibly, why aren't categories called "monoids" and monoids called... "...
7
votes
1answer
77 views

What's the correct notion of equivalence in a double category?

What's the appropriate notion of equivalence between two objects in a double category? At first I thought the answer was just an equivalence in one of the associated $2$-categories, but then I ...
2
votes
0answers
43 views

Equivalence of Lie groupoids $\phi: H \rightarrow G$ induces an equivalence of categories $\phi^*: G\text{-spaces} \rightarrow H\text{-spaces}$.

In Orbifolds as Groupoids there is the notion of an equivalence $\phi: H \rightarrow G$ between Lie groupoids (2.4) and of $G$-spaces (5.1). Given a smooth functor $\phi: H \rightarrow G$ we can ...
2
votes
1answer
94 views

Equivalence between the Dwyer-Kan loop groupoid and the fundamental groupoid

Let $X$ be a homotopy 1-type (a space with vanishing homotopy groups above degree one). It is a classical fact that $X$ can be recovered completely from its fundamental groupoid. On the the other ...
2
votes
0answers
40 views

Inversion on an internal groupoid

Let $\mathcal{C}$ be a category with pullbacks, with $\mathscr{G}=({\bf Ob}_\mathscr{G},{\bf Hom}_\mathscr{G},cod,dom,{\bf 1}, \circ_{\mathscr{G}},-^{-1})$ an internal groupoid in $\mathcal{C}$. I'm ...