The crossed-modules tag has no usage guidance.

**2**

votes

**1**answer

57 views

### Why does vertical multiplication in 2-groups not follow the same order as horizontal one when constructed from crossed modules?

Consider a 2-group (seen as a 2-category with only one object $\star$) constructed from a crossed module $(G,H,t,\rhd)$ ($\circ$ will denote 1-morphisms composition, $\circ_{h}$ 2-morphisms horizontal ...

**2**

votes

**0**answers

135 views

### Lie Algebra of Aut(GL(n,R))

What is the Lie Algebra of $Aut(Gl(n,F))$ when $F$ is either $\mathbb{R}$ or $\mathbb{C}$?
Is it enough to consider the injection via Hochschild:
$Aut(GL(n)) \to Aut(\mathfrak{gl}(n))$?
Edit: The ...

**5**

votes

**3**answers

235 views

### strict 2-groups VS crossed modules

nLab defines a strict 2-groups in many different but equivalent ways, among them:
an internal group object in Cat,
an internal group object in Grpd
Also, it is known that strict 2-groups may be ...

**13**

votes

**2**answers

434 views

### Group cohomology without G-modules (a.k.a. what does this bar construction compute?)

Without any prior exposure to the cohomology of groups, one might naively proceed by replacing a group by a sort of resolution.
For instance, let's take $G = \mathbb{Z}^2$, and "resolve":
$$ 0 \to ...

**5**

votes

**1**answer

405 views

### Maps between classifying spaces

Let $G$ be a discrete group and let $BG \simeq K(G,1)$ be its classifying space. Let $H$ be a topological group with classifying space $BH$.
In case $H$ is also discrete, it was pointed out in the ...

**1**

vote

**0**answers

67 views

### Crossed modules quasi-isomorphic to a quasi-abelian crossed module

This is a follow-up of this question,
where the definition of a quasi-abelian crossed module was given.
Namely, a crossed module $\partial\colon F\to G$ is quasi-abelian
if the embedding ...

**3**

votes

**1**answer

162 views

### Non-quasi-abelian braided crossed modules

A right crossed module is a homomorphism of groups
$\partial\colon F\to G$
together with a right action of $G$ on $F$, written
$(g,f)\mapsto f^g$,
satisfying certain conditions.
The question is, ...