structures in a cohesive (∞,1)-topos
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.
discrete group