1: \begin{abstract}

2: 

3: In this paper, we examine the modal aspects of higher groups in

4: Shulman's Cohesive Homotopy Type Theory. We show that every higher group sits

5: within a modal fracture hexagon which renders it into its discrete,

6: infinitesimal, and contractible components. This gives an unstable and synthetic

7: construction of Schreiber's differential cohomology hexagon. As an example of this modal fracture

8: hexagon, we recover the character diagram characterizing

9: ordinary differential cohomology by its relation to its underlying integral

10: cohomology and differential form data, although there is a subtle obstruction to

11: generalizing the usual hexagon to higher types. Assuming the existence of a long

12: exact sequence of differential form classifiers, we construct the classifiers for circle $k$-gerbes

13: with connection and describe their modal fracture hexagon. 

14:   

15: \end{abstract}

16: