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.

learn more… | top users | synonyms

15
votes
1answer
863 views

Convolution algebras for double groupoids?

There is a lot of work of course on convolution algebras of measured groupoids, and this gives "Noncommutative geometry". However there is a lot of interest in algebraically structured groupoids, for ...
4
votes
2answers
924 views

How can I understand the “groupoid” quotient of a group action as some sort of “product”?

Recall the notion of groupoid (Wikipedia, nLab). An important construction of groupoids is as "action groupoids" for group actions. Namely, let $X$ be a groupoid and $G$ a group, and suppose that ...
25
votes
5answers
2k views

How many binary operations are associative?

Let $X$ be a finite set of $n$ elements, and consider a binary operation $\odot: X \times X \rightarrow X$. There are $n^{n^2}$ such binary operations, as the $n \times n$ table entries can each be ...
11
votes
4answers
822 views

How do you define the strict infinity groupoids in Homotopy Type Theory?

In the setting of Homotopy Type Theory, how would you construct $\mathrm{isStrict} : U \rightarrow U$ which is inhabited exactly when the first type is (equivalent to?) a strict $\infty$-groupoid? ...
2
votes
3answers
404 views

Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp. homotopy limits)?

Let $\pi _1:SS\to Grpd$ denote the fundamental groupoid functor, from simplicial sets to groupoids, and let $N:Grpd\to SS$ denote the nerve functor. Then $\pi _1$ is left adjoint to $N.$ On ...
5
votes
5answers
936 views

Category = Groupoid x Poset?

Is it possible to split a given category $C$ up into its groupoid of isomorphisms and a category that resembles a poset? "Splitting up" should be that $C$ can be expressed as some kind of extension ...
3
votes
2answers
391 views

Algebraic stacks as (etale) groupoid alg.spaces/schemes

Assume given an algebraic stack() $\mathcal{X}$ with presentation $X_0 \to \mathcal{X}$, and the corresponding groupoid $X = (X_0\times_\mathcal{X} X_0 \rightrightarrows X_0)$ in algebraic spaces (or ...