**6**

votes

**2**answers

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

**15**

votes

**3**answers

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

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

**9**

votes

**1**answer

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

**1**

vote

**3**answers

151 views

### Given an object in a Lie groupoid, does there exist a subgroupoid for which the object has no automorphisms but retains its equivalence class?

For this question, I am in the smooth finite-dimensional category. All objects are $\mathcal C^\infty$ manifolds and all maps are smooth. Recall the notion of groupoid, and let's restrict our ...

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

**2**

votes

**3**answers

303 views

### What is an obviously coordinate-independent description of the Chevellay-Eilenberg complex for a Lie algebroid?

I've read in many places, including the n-Lab page, that a Lie algebroid (which I think of as in the first definition on the n-Lab page) is the same as a vector bundle $A \to X$ and a (properties?) ...

**4**

votes

**2**answers

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

**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

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

**8**

votes

**2**answers

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

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

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

**12**

votes

**1**answer

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

**5**

votes

**1**answer

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

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

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

**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)?