Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 4149

A groupoid is a category where all morphisms are invertible. This notion can also be seen as an extension of the notion of group. A motivating example is the fundamental groupoid of a topological space with respect to several base points, compared to the usual fundamental group.

1 vote

Groupoids vs. action groupoids

The answer to Question 1 is, as expected, "No". Let $(A\rightrightarrows X)=(X\times X\rightrightarrows X)$. If our groupoid is an action groupoid, i.e., of the form $G\ltimes X$, then the $\Gamma$-s …
Mikhail Borovoi's user avatar
3 votes
1 answer
863 views

Equivalence and weak equivalence of groupoids

Let $F\colon (A\rightrightarrows X)\to (B\rightrightarrows Y)$ be a morphism of groupoids (a functor). We say that $F$ is an equivalence of groupoids if it is an equivalence of categories. … By a weak equivalence of $\Gamma$-groupoids we mean a $\Gamma$-functor $F\colon (A\rightrightarrows X)\to (B\rightrightarrows Y)$ that is a weak equivalence of groupoids. …
Mikhail Borovoi's user avatar
3 votes
2 answers
1k views

Groupoids vs. action groupoids

Conversely, any connected groupoid is isomorphic to an action groupoid, see the answers to my question Connected groupoids and action groupoids. … We say that two $\Gamma$-groupoids are weakly $\Gamma$-equivalent if they can be connected by a chain of quasi-isomorphisms of $\Gamma$-groupoids. …
Mikhail Borovoi's user avatar
2 votes
2 answers
381 views

Constructing a stack (gerbe) from a connected groupoid

Let $\mathcal{G}=(A\rightrightarrows X)$ be a groupoid. Here $X={\rm Ob}(\mathcal{G})$, $A={\rm Ar}(\mathcal{G})$, and we have 5 maps: $s,t\colon A\to X$ (the source and the target, surjective), $m\co …
Mikhail Borovoi's user avatar
5 votes
5 answers
994 views

Connected groupoids and action groupoids

It is written in Wikipedia http://en.wikipedia.org/wiki/Groupoid, that any connected groupoid $A\rightrightarrows X$ is isomorphic to an action groupoid $G\ltimes X$ coming from a transitive action o …
Mikhail Borovoi's user avatar
7 votes
0 answers
303 views

Albrecht Fröhlich's text `Groupoids, groupoid spaces and cohomology' (1965)

I am looking for Albrecht Fröhlich's unpublished text `Groupoids, groupoid spaces and cohomology' (1965). …
Mikhail Borovoi's user avatar
6 votes
Accepted

What are the symmetries of a principal homogeneous bundle?

No, in general $G=G(\mathbf{Q})$ can be strictly smaller that ${\rm Aut}(\mathbf{Q})$. Let $G$ be a Lie group and $H\subset G$ be a Lie subgroup. Set $P=G$, $\ Q=G/H$, and define the maps in the obv …
Mikhail Borovoi's user avatar