nLab
discrete group

Contents

Context

Group Theory

Cohesion

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

Backround

Definition

Presentation over a site

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

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?

Models

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 March 19, 2021 at 13:27:06. See the history of this page for a list of all contributions to it.