2
votes
2answers
202 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
1answer
74 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}, ...
5
votes
1answer
190 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 ...
3
votes
5answers
377 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 ...
24
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 ...
3
votes
1answer
159 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 ...
6
votes
1answer
290 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
1answer
356 views

About properties of groupoid C*-algebras

I'm interested in the following kind of questions about groupoid $C^*$-algebras. 1) If $G_1 \times_{H} \ G_2$ is a fibre product of (nice) groupoids do we have something like $$C^\star(G_1 \times_{H} ...
6
votes
1answer
307 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 ...