# Tagged Questions

**2**

votes

**0**answers

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

**5**

votes

**1**answer

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

**2**

votes

**0**answers

78 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:
...

**3**

votes

**2**answers

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

**4**

votes

**2**answers

367 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

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

**2**

votes

**1**answer

303 views

### Weak colimits of weak and strict presheaves in groupoids

Let $C$ be a small category, and for this question, let groupoid mean an (essentially small) groupoid. There are two 2-categories in question: the 2-category of strict presheaves in groupoids and ...

**9**

votes

**1**answer

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