**2**

votes

**0**answers

42 views

### Reference for the existence of bicolimits in groupoids and categories?

I am looking for a reference of these, I would say, very well known facts. (strangely though finding a reference was bit trick for me).
Let $C$ be a category and $F:C\rightarrow Cat$ a 2-functor in ...

**7**

votes

**1**answer

295 views

### Groupoid cardinality and Egyptian fraction representations of 1

It is well-known that any rational number can be represented using a sum of distinct Egyptian fractions (that is, rational fractions of the form $1/n$ with $n\in\mathbb{N}$). This may be proven by ...

**1**

vote

**0**answers

65 views

### Group actions on principal groupoids

Suppose that $\mathcal{G}$ is etale principal groupoid and that $G$ is a discrete (or finite) group acting freely on the locally compact unit space $\mathcal{G}^0$ (or assuming compactness, if ...

**9**

votes

**6**answers

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

**1**

vote

**1**answer

330 views

### When are $k$-sectors of a Lie groupoid a manifold?

Let ${\mathcal{G} = \lbrace s,t:G_1 \to G_0 \rbrace}$ be a Lie groupoid. Define
$$(\mathcal{G}^k)_0:=\lbrace (a_1,\dots,a_k) \in G_1^k\mid s(a_1)=t(a_1)=\dots=s(a_k)=t(a_k) \rbrace$$
(This is the ...

**6**

votes

**2**answers

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

**2**

votes

**0**answers

45 views

### Existence of enough local sections

Let $\pi: G\to X$ be a continuous open (!) surjection of locally compact Hausdorff spaces. Assume that each fiber $G_x=\pi^{-1}(x)$, $x\in X$ carries a group structure making it a locally compact ...

**7**

votes

**2**answers

313 views

### How to construct a free 2-group on a groupoid?

Let G
be a groupoid. I'm wondering how to construct the free 2-group on G.
By the free 2-group I mean a 2-group $\mathcal{F}\left(G\right)$
equipped with a functor $i:G\longrightarrow\mathcal{F}\...

**2**

votes

**1**answer

286 views

### Groupoid isomorphism vs. group isomorphism

Assume that $\Gamma$ is a group with neutral element $e$. We associate to $\Gamma$ the following groupoid $G$:
$G=\Gamma \times \Gamma,\;\;\;G^{(0)}=\Gamma \times \{0\},\;\;s(a,b)=(a,e),\;\;\; r(a,...

**9**

votes

**4**answers

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

**48**

votes

**22**answers

8k views

### What's a groupoid? What's a good example of a groupoid? [closed]

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

**10**

votes

**2**answers

367 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 with one vertex, labeled $1/G$, the one arrow from that vertex ...

**3**

votes

**0**answers

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

**12**

votes

**5**answers

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

**19**

votes

**2**answers

698 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 Butz and Moerdijk have shown that if the topos has ...

**1**

vote

**0**answers

83 views

### Representation theory of groupoids

Is there for a groupoid an representation theorem as Representation theorem of Wagner-Preston for inverse semigroups?

**0**

votes

**0**answers

123 views

### reference for groupoid cohomology

In nLab (groupoid cohomology) says:
"Under the homotopy hypothesis theorem, plain (non-internal) groupoid cohomology is the same as the cohomology of homotopy 1-types."
Are there references for this?...

**2**

votes

**0**answers

68 views

### Are all locally compact anisotropic groupoids etale up to equivalence?

By groupoid I mean "open topological groupoid",i.e. topological groupoids whose source and target maps are open surjections, and the notion of equivalence I'm considering is the isomorphism in the ...

**5**

votes

**5**answers

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

**7**

votes

**1**answer

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

**8**

votes

**6**answers

2k 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

**4**answers

818 views

### Brandt's definition of groupoids (1926)

The definition of a category is usually attributed to Mac Lane and Eilenberg (1945). What seems to be less known is that the german mathematician Heinrich Brandt has developed the notion of a groupoid ...

**10**

votes

**4**answers

583 views

### The groupoid of algebraic expressions and proofs

Fix a set of variables $V$, and suppose we're given a presentation of a monosorted algebraic theory, with variable symbols taken from $V$. For the sake of example, suppose the presentation consists of ...

**1**

vote

**0**answers

61 views

### Local section 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. ...

**2**

votes

**1**answer

260 views

### Reference request for generalization of groups with out identity element?

In other words what do we call a magma which is associative and has divisibility property but not existence of identity? Or a groupoid when it loses the identity property?
A reference on such ...

**1**

vote

**0**answers

75 views

### Lower periodic subsets of groups and semigroups

Suppose that $A$ and $B$ are subsets of a group or semigroup. We call $A$ left
upper [resp. lower] $B$-periodic if $BA\subseteq A$
[resp. $A\subseteq BA$]. If $A$ is both left upper and
lower $B$-...

**2**

votes

**0**answers

110 views

### Is the cotangent complexes of groupoids bounded above by degree $1$?

Let $\mathcal{X}$ be a stack given by a groupoid $X_1\rightrightarrows X_0$, where $X_0$ and $X_1$ are smooth $k$-varieties. Let $\mathbb{L}_{\mathcal{X}/k}$ be the cotangent complex of $\mathcal{X}$....

**14**

votes

**0**answers

588 views

### What's the big deal about $M_{13}$?

$M_{13}$ is the Mathieu groupoid defined by Conway in
Conway, J. H. $M_{13}$. Surveys in combinatorics, 1997 (London), 1–11,
London Math. Soc. Lecture Note Ser., 241, Cambridge Univ. Press, ...

**3**

votes

**3**answers

583 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

**0**answers

259 views

### Is the crossed product $\mathcal{K} \rtimes G$ a groupoid algebra?

Suppose G, a discrete group acting on the compact operators $\mathcal{K}$ by automorphism of C*-algebra $\mathcal{K}$. Can we view the crossed product as a groupoid C*-algebra of some groupoid?
This ...

**3**

votes

**0**answers

79 views

### Representable torsors on geometric groupoid

Let $(C,\tau,\mathbb P)$ be a geometric context, as defined by Toen and Vezzosi. Let $(X_1\rightrightarrows X_0)$ be a groupoid object in $C$ such that the source and target morphisms are in $\mathbb ...

**14**

votes

**4**answers

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

**3**

votes

**0**answers

39 views

### Connection on 3-bundle given as triplet of forms

A connection on a bundle is given locally by a Lie algebra-valued 1-form.
Gauge transformations act in the usual way on the forms, and form a groupoid.
A connection on a 2-bundle is given locally by ...

**3**

votes

**2**answers

260 views

### Classifying map of a principal bundle

Given a topological group, say $G$, it is well known that the classifying space $BG$ classifies $G$ principal bundles. Under some mild assumption on $G$, one model of $BG$ is the geometric realization ...

**0**

votes

**1**answer

83 views

### Groupoid as a 2-coequaliser

Let $G=(G_1, G_0, s, t, u, i,\circ)$ be a groupoid, where $s, t$ are source and target maps, $i$ is the inverse, $u$ is the unit, and $\circ$ is the composition.
Denote $\underline{G_1}, \underline{...

**2**

votes

**3**answers

424 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 $\mathcal{...

**6**

votes

**1**answer

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

**1**

vote

**2**answers

465 views

### Semidirect product of groupoids

I am trying to understand the semidirect product of groupoids, as defined in this answer by Theo Johnson-Freyd. Part of my difficulty is that although the definition of a 2-group makes sense, I am ...

**7**

votes

**0**answers

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

**3**

votes

**0**answers

73 views

### Is there a Fourier transform for principal r-discrete groupoids?

I have been looking for an analog of the Fourier transform for groupoids coming from tilings (which are generally principal and r-discrete), however all the generalizations I have found assume that ...

**10**

votes

**3**answers

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

**6**

votes

**1**answer

388 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 $\...

**4**

votes

**2**answers

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

**1**

vote

**0**answers

129 views

### Reduced C*-algebras of locally compact etale Hausdorff groupoids

Let $G$ be an étale locally compact Hausdorff groupoid (possibly second-countable) and let $a\in C_{\textrm{red}}^*(G)$. Is it true that for all $\varepsilon>0$ there is $s\in C_c(G)$ satisfying ...

**2**

votes

**2**answers

465 views

### Groupoids vs. action groupoids

Let $A\rightrightarrows X$ be a groupoid, where $X$ is the set of objects and $A$ is the set of arrows.
My favorite example of a groupoid is an action groupoid. If a group $G$ acts on the left on a ...

**3**

votes

**5**answers

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

**2**

votes

**1**answer

308 views

### Equivalence and weak equivalence of groupoids

Let $A\rightrightarrows X$ be a groupoid, where $X$ is the set of objects and $A$ is the set of arrows.
My favorite example of a groupoid is an action groupoid. If a group $G$ acts on the left on a ...

**2**

votes

**0**answers

79 views

### Bisections in Kan Complexes

Kan Complexes can be seen as a generalization of groupoids, mostly called (weak)
infinity groupoids in this context.
On groupoids we can define the \textbf{group of bisections} the following way:
...

**2**

votes

**2**answers

323 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\...