A groupoid (in the sense of category theory) is a small category in which every morphism is an isomorphism. Groupoids 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 ...

learn more… | top users | synonyms

2
votes
1answer
91 views

Should the first be the last by composition of paths?

Given two paths $f,g:\mathbb{I}\rightarrow X$ with $f\left(1\right)=g\left(0\right)$ there is a composite $f.g$ defined by $t\mapsto f\left(2t\right)$ if $2t\leq1$ and $t\mapsto g\left(2t-1\right)$ ...
1
vote
1answer
46 views

Fundamental groupoids is a embedding of category $Cov(B)\to Cov(\Pi(B))$

It is stated in J.P.May's A Concise Course in Algebraic Topology page 29 that the fundamental groupoid functor induces a bijection $$Cov(E,E')\longleftrightarrow Cov(\Pi(E),\Pi(E')).$$ So does that ...
0
votes
1answer
33 views

Groupoid element with multiple inverse elements?

Simply put, is there a groupoid whose element can have multiple inverse elements? I know how to prove that elements of a semigroup have unique inverses, but this is a bit diferent... If there is such ...
5
votes
0answers
45 views

Is the Groupoid of germs associated to an orbifold a Hausdorff proper Lie groupoid?

I was studying the book Introduction to Foliations and Lie Groupoids by I. Moerdijk and J. Mrcun and I have a doubt. On page 140 they give the following definition for a proper Lie groupoid. A ...
5
votes
0answers
176 views

Two definitions of equivariant sheaves

Let $G$ be a topological group. Here are two definitions of $G$-equivariant sheaves on a $G$-space $X$. (a) Define an $G$-equivariant sheaf by a sheaf $F$ (étalé space) equipped with a $G$-action ...
4
votes
0answers
44 views

What natural monoidal structure and braiding exists on the category of modules of the convolution algebra of an action groupoid?

Let $S$ be a set with an action $\triangleright$ of a finite group $G$. The action groupoid $S // G$ has as objects the set $S$, and the morphisms from $s_1$ to $s_2$ are just the $g \in G$ that ...
4
votes
0answers
36 views

Isomorphism of Principal Bundles with structure groupoid

Let $\mathcal{G}\rightrightarrows M$ be a Lie groupoid. Suppose that $\pi:P\rightarrow B$ is a $\mathcal{G}$-principal bundle and let $(h_s,g_s):(P,B)\rightarrow (P,B); s\in [0,1]$, be a homotopy ...
4
votes
0answers
159 views

The Seifert-Van Kampen theorem as a push-out

My question concerns the proof of the Seifert-Van Kampen theorem. The version of such a statement that interests me is the following. Let $X$ be a topological space, and $U, V\subseteq X$ two ...
3
votes
0answers
35 views

Ref. Request — Non-Transitive Lie Group Actions, Applications to Orbifolds/Groupoids

I'm working on a problem where I have a (highly) non-transitive Lie group action on a manifold, and I am trying to deduce the geometric structure of the quotient space. I've been looking at some ...
2
votes
0answers
37 views

coherence of inverses in 2-groupoids

Given a 2-groupoid $G$, two objects $a,b$, and two 1-morphisms $f,g:a\rightarrow b$ and a 2-morphism $\alpha : f \rightarrow g$, is it the case that there always exists a 2-morphism $\beta : f^{-1} ...
2
votes
0answers
101 views

Groupoid $C^*$ algebra of product groupoid

Let $G$ and $H$ be locally compact (Hausdorff, second countable) groupoids with Haar systems $\mu$ and $\nu$, respectively. Is it true then that the (full) groupoid $C^*$-algebras satisfy $$ ...
1
vote
0answers
24 views

Differentiable stacks and morita morphism

I heard that if $[X_0/G_0]$ and $[X_1/G_1]$ are differentiable stacks, then any morphism between them is naturally equivalent to $$(G_0 \rightrightarrows X_0) \xleftarrow{\simeq} (G_2 ...
1
vote
0answers
15 views

Morphism from a groupoid to the action groupoid?

Let $\mathcal{G}\rightrightarrows M$ be a groupoid and $G$ be a group acting on $M$. Then we might associate the action groupoid $G\ltimes M\rightrightarrows M$. What are the groupoid morphisms from ...
1
vote
0answers
51 views

Local bisections of Lie groupoids

Suppose we have the pair groupoid $G:\mathbb{R}^2\rightrightarrows \mathbb{R}$ which is a Lie groupoid with source $s$ and target $t$ maps given by the first and second projection, respectively. ...
1
vote
0answers
27 views

A certain product of C*-algebras

So, I am looking for some kind of 'product' $\bullet$ on the category of (unital?) $C^*$-algebras satisfying that $M_n(\mathbb{C})\bullet M_m(\mathbb{C}) = M_{m+n}(\mathbb{C})$ where ...
1
vote
0answers
52 views

Relationship between groupoid morphisms and the induced functor on their categories of actions?

This is similar to a question I asked recently, but this time specifically for groupoids. Suppose $f: A \rightarrow B$ is a groupoid morphism. Let $f^\ast: [B, \text{Set}] \rightarrow [A, ...
1
vote
0answers
72 views

Torsors for 2-groups

Let $\mathbb{G}$ be a 2-group, by which I mean a strict monoidal category in which all objects are invertible (up to coherent isomorphisms) and all morphisms are invertible (strictly). What is the ...
1
vote
0answers
68 views

2-morphisms from spans of spans

I have a question about the construction of 2-morphisms from spans of spans in the paper "2-vector spaces and groupoid" by Jeffrey Morton . Suppose we have a span of span of groupoids as follows and ...
1
vote
0answers
124 views

An example of functions on a groupoid

There are two $C^\ast$-algebras associated to the $\ast$-algebra (under a convolution and the usual involution) $$C_c(G) := \{ f:G\longrightarrow \mathbb C :\:f \text{ has compact support}\}$$ of ...