# Tagged Questions

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.

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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
313 views

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 ...
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)?
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 ...
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. ...
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? ...
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 ...
83 views

### Representation theory of groupoids

Is there for a groupoid an representation theorem as Representation theorem of Wagner-Preston for inverse semigroups?
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?...
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 ...
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 ...
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 ...
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? (...
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 ...
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 ...
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. ...
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 ...
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$-...
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}$....
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, ...
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 ...
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 ...
79 views

424 views

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