**36**

votes

**22**answers

5k views

### What's a groupoid? What's a good example of a groupoid?

Or more specifically, why do people get so excited about them? And what's your favorite easy example of one, which illustrates why I should care (and is not a group)?

**24**

votes

**5**answers

1k 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 ...

**17**

votes

**5**answers

1k views

### How should one understand orbifold fundamental groups?

I am studying orbifold fundamental group (or more generally orbifold homotopy groups). In a nutshell, my questions is: what are they intuitively? In what follows I give definitions and more precise ...

**15**

votes

**3**answers

393 views

### Characterizing Groupoids via Quotients?

A groupoid is a category in which all morphisms are invertible.(*) The groupoids form a very nice subclass of categories. The inclusion of the groupoids into the 2-category of small categories admits ...

**15**

votes

**1**answer

467 views

### Toposes (topoi) as classifying toposes of groupoids

A famous theorem of Joyal and Tierney says that each Grothendieck topos is equivalent to the classifying topos of a localic groupoid. I believe that Buntz and Moerdijk have shown that if the topos has ...

**15**

votes

**1**answer

786 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 ...

**14**

votes

**3**answers

840 views

### What is the precise relationship between groupoid language and noncommutative algebra language?

I have sitting in front of me two 2-categories. On the left, I have the 2-category GPOID, whose:
objects are groupoids;
1-morphisms are (left-principal?) bibundles;
2-morphisms are bibundle ...

**14**

votes

**3**answers

535 views

### What is the 2-category whose 0-objects are Lie algebroids?

Recall the notion of Lie algebroid (n Lab, Wikipedia). One motivation for studying Lie algebroids is that they are infinitesimal versions of Lie groupoids, and Lie groupoids present stacks. In ...

**12**

votes

**1**answer

721 views

### How difficult is Morse theory on stacks?

The title is a little tongue-in-cheek, since I have a very particular question, but I don't know how to condense it into a pithy title. If you have suggestions, let me know.
Suppose I have a Lie ...

**11**

votes

**4**answers

725 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?
...

**9**

votes

**3**answers

911 views

### Groupoids vs Pseudogroups

(Warning: I'm not an expert in the topic) Let's work in a "geometric" category, for example the category $\mathfrak{Diff}$ of "manifolds" (without the requirements of connectedness and second ...

**9**

votes

**3**answers

311 views

### Groupoid of moves on trivalent fatgraph

Let $T$ be a finite trivalent fatgraph - i.e. a graph with a cyclic order of the edges at each vertex. Then there are certain basic "moves" we can perform on $T$: an embedded edge can be collapsed and ...

**9**

votes

**1**answer

376 views

### Double Category of Topological Stacks

There are two equivalent ways of describing topological stacks.
One is the "stacky" definition, that is, a topological stack is a stack $\mathbb{X}$ on $Top$ (a Grothendieck universe thereof, if ...

**8**

votes

**2**answers

958 views

### What is the infinite-dimensional-manifold structure on the space of smooth paths mod thin homotopy?

This question is motivated by the recent paper An invitation to higher gauge theory by Baez and Huerta, and the 2007 paper Parallel Transport and Functors by Schreiber and Waldorf.
Let $M$ be a ...

**8**

votes

**0**answers

343 views

### Quotients of topological groupoids

The issues that arise when moving from topological groups to topological groupoids are (at least to me) both subtle and interesting. Recently, I was reading a paper of R. Brown and J.P.L. Hardy from ...

**7**

votes

**5**answers

1k views

### Representation of Groupoids

The title is vague, my actuall question is the following:
Has the representations of groupoids been systematically studied? Is there any new phenomenon, compare with the representation of groups? ...

**7**

votes

**2**answers

235 views

### How to interpret topologically that the equalizer in Groupoids of ${\rm id}, {\rm id}: BG \rightrightarrows BG$ is $G/G$ (adjoint action)?

Let $G$ be a (discrete) group, and $1/G$ the corresponding groupoid with one object. Consider the diagram in (the 2-category) Groupoids:
(This diagram is equivalent to the pair of parallel arrows ...

**7**

votes

**0**answers

266 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). In this text FrÃ¶hlich defines cohomology of a group with coefficients in a groupoid (this was ...

**7**

votes

**0**answers

411 views

### 2 questions on the groupoid algebra

Dear All:
I would like some refs and/or thoughts on the following two related
questions:
1) If I am not mistaken, there is a " Groupoid Convolution Algebra"
(GCA)
contravariant functor from the ...

**6**

votes

**4**answers

528 views

### Groupoid structure on G/H?

Let $G$ be a group and let $H$ be a subgroup. If $H$ is normal in $G$, then $G/H$ has a group structure. But in general, can there be a groupoid structure on $G/H$(left cosets or right cosets) that ...

**6**

votes

**1**answer

302 views

### How equivalent are the theories of reduced and groupal $\infty$-groupoids?

I hope that my question is sufficiently trivial that someone will be able to give me a pedantic answer, and not so trivial that no one takes the time to give an answer. My motivation for asking this ...

**6**

votes

**2**answers

433 views

### Is a groupoid determined by its Hopfish algebra?

This is a follow up to my question What is the precise relationship between groupoid language and noncommutative algebra language?. I will briefly review some definitions; for details, a good place ...

**6**

votes

**1**answer

287 views

### Groupoids and hypergroups

There are two generalizations of usual groups: groupoids, where the multiplication operation becomes "partial", and hypergroups, for which the result of multiplying two elements is a probability ...

**6**

votes

**1**answer

264 views

### Is there a theory of differential equations for smooth correspondences?

This question is very closely related to another one I just asked. The general question is to what extent there is a theory of differential equations for smooth correspondences (between a smooth ...

**5**

votes

**5**answers

1k views

### Groupoid actions on spaces

The action of a group $G$ on a topological space $X$ can be viewed as a functor $F: G \to \mathcal{Top}$ with $F(*)=X$. (Here I'm viewing a group as a category with one object, $ * $, and the ...

**5**

votes

**2**answers

453 views

### Automorphism groups and etale topological stacks

Recall that an etale topological stack is a stack $\mathscr{X}$ over the category of topological spaces (and open covers) which admits a representable local homeomorphism $X \to \mathscr{X}$ from a ...

**5**

votes

**1**answer

286 views

### Continuous and smooth Lie groupoid cohomology

In the paper by Weinstein and Xu: Extensions of symplectic groupoids and quantization, J. Reine Angew. Math. 417 (1991), there are two versions of Lie groupoid cohomology. The same differential ...

**5**

votes

**1**answer

573 views

### Normal coordinates for a manifold with volume form

I'm hoping that the following are true. In fact, they are probably easy, but I'm not seeing the answers immediately.
Let $M$ be a smooth $m$-dimensional manifold with chosen positive smooth density ...

**5**

votes

**2**answers

219 views

### What condition on a “bibundle between categories” generalizes “right-principal bibundle between groupoids”?

My question is long on background and motivation, and almost but not quite answered over at the nLab. I'll write up a bunch before asking my question (feel free to skip to the end or look at the ...

**5**

votes

**1**answer

300 views

### Is there a “groupoid integral” with values in a groupoid?

Let $G = \{G_1 \rightrightarrows G_0\}$ be a finite groupoid, i.e. $G_1,G_0$ are both finite sets, and let $A$ be $\mathbb Q$-module. Regard $A$ as a discrete groupoid $A \rightrightarrows A$, and ...

**5**

votes

**1**answer

247 views

### What is the local structure of a Lie groupoid?

A manifold is locally $\mathbb R^n$. An orbifold is locally $\mathbb R^n/\{\text{finite group}\}$. Is there a similar way to think about the local structure of a Lie groupoid $G_1 \rightrightarrows ...

**4**

votes

**4**answers

1k views

### Geometric interpretation of the fundamental groupoid

Motivation
The common functors from topological spaces to other categories have geometric interpretations. For example, the fundamental group is how loops behave in the space, and higher homotopy ...

**4**

votes

**2**answers

803 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 ...

**4**

votes

**4**answers

751 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 ...

**4**

votes

**2**answers

360 views

### $\infty-$groupoid of $A_{\infty}$ algebras

Hello,
Consider first the following $2-$groupoid of Algebras over $\mathbb{C}$. Objects are Algebras, $1-$morphisms are isomorphisms, and a $2-$morphism between the isoms $f$ and $g$ from $A$ to $B$ ...

**4**

votes

**1**answer

178 views

### What's the link between topological spaces as locales and topological spaces as infinity-groupoids?

I've seen texts that talk about topological spaces being essentially locales, like Topology via Logic by Vickers, and texts related to homotopy theory that talk about topological spaces being ...

**4**

votes

**2**answers

454 views

### Is there a “geometric” language that describes the equivalence groupoid of a foliated manifold?

Sitting on the couch in my office is a certain groupoid. It's waiting for me to say something to it. My problem is that I don't know its language. My question here is for some suggestions.
Here, ...

**4**

votes

**1**answer

342 views

### Do Lie algebroids pull back (along submersions)?

There are more general definitions, but for my purposes a Lie algebroid on a smooth manifold $X$ is a vector bundle $A \to X$, a map $\rho: A \to {\rm T}X$ of vector bundles over $X$, and a bracket ...

**4**

votes

**2**answers

310 views

### How to specify a finite group up to inner automorphism?

I want some finite set of data to which I can canoically associate a "group up to inner automorphism", and which can be constructed canoically from a "group up to inner automorphism". I have a few ...

**4**

votes

**1**answer

384 views

### Colimits of topological groupoids

Let $G$ and $H$ be two topological groupoids. Suppose that I have two morphisms $G \rightrightarrows H$ and I want to take the 2-coequalizer of these maps. I'd like an explicit description of (a ...

**3**

votes

**5**answers

368 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 ...

**3**

votes

**3**answers

291 views

### What are the symmetries of a principal homogeneous bundle?

Let $\operatorname{Klein}$ denote the category of principal homogeneous bundles. An object in this category is a tuple $\mathbf Q = (Q, P; G, H; q, a, \tilde a)$, where:
$G$ is a Lie group, and $H$ ...

**3**

votes

**2**answers

306 views

### Cartesian cubes and groupoids

Given a groupoid $G,$ one can consider the canonical epimorphism $$G_0 \to G.$$ Since it is an epimorphism in the $2$-topos of groupoids, $G$ is the weak colimit of the corresponding Cech diagram ...

**3**

votes

**2**answers

356 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 ...

**3**

votes

**1**answer

157 views

### reference request for essential equivalence of top. groupoids

Let $G$ and $H$ be two topological groupoids. Recall that a morphism $F \colon H \to G$ is called an essential equivalence, if
the map $t \circ \pi_1 \colon G_1 \times_{G_0} H_0 \to G_0$ is an open ...

**3**

votes

**1**answer

198 views

### Simplicity of reduced C*-algebras for non-Hausdorff etale groupoids

It is known that for a Hausdorff locally compact etale groupoid, the reduced C*-algebra is simple iff the groupoid is minimal (meaning the orbit of each unit is dense) and topologically principal ...

**3**

votes

**2**answers

536 views

### Examples of Simplicial Groupoids in Nature

For me, a simplicial groupoid is a simplicial object in ${\mathbf{Grpd}}$. I am more general than Goerss-Jardine in this definition.
Do you have examples simplicial groupoids that occur in nature? ...

**3**

votes

**0**answers

197 views

### Homotopy category of groupoids

The nlab Ho(Cat) page says: morphisms in the homotopy category of groupoids $Ho(Gpd)$, have two equivalent description:
iso-classes of functors.
formally invert equivalence functors (i.e. ...

**3**

votes

**0**answers

88 views

### Relation between graphs and groupoid $C^*$-algebras

In the paper "Graphs, groupoids and Cuntz-Krieger algebras" by Kumijan, Pask, Raeburn, Renault it was shown (if I understand it correctly) that whenever $G$ is a row-finite directed graph
with no ...

**2**

votes

**3**answers

221 views

### How to detect if a simplicial set is the nerve of a groupoid?

I have the following question.
Suppose I have a simplicial set. Is there a way to detect if it actually is isomorphic to a nerve of a groupoid?
I've seen the fact that if you have a nerve ...