Higher Groups and Higher Normality

Jonathan Beardsley, Landon Fox

In this paper we continue Prasma's homotopical group theory program by considering homotopy normal maps in arbitrary $\infty$-topoi. We show that maps of group objects equipped wit…