# nLab discrete group

Contents

group theory

### Cohomology and Extensions

#### Cohesion

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

## Structures in a cohesive $(\infty,1)$-topos

structures in a cohesive (∞,1)-topos

## Structures with infinitesimal cohesion

infinitesimal cohesion?

# Contents

## Idea

A discrete group is a group object in discrete spaces.

Equivalently this is just an ordinary group – a set with a group structure. One says discrete group for emphasis in a context where by default one is speaking about topological groups or Lie groups or groups equipped with other structure. See discrete ∞-groupoid for more discussion.

Last revised on February 9, 2017 at 07:03:56. See the history of this page for a list of all contributions to it.