Abstract: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 with normality data, in Prasma's sense, are algebras for a "normal closure" monad in a way which generalizes the standard loops-suspension monad. We generalize a result of Prasma by showing that monoidal functors of $\infty$-topoi preserve normal maps or, equivalently, that monoidal functors of $\infty$-topoi preserve the property of "being a fiber" for morphisms between connected objects. We also formulate Noether's Isomorphism Theorems in this setting, prove the first of them, and provide counterexamples to the other two. Accomplishing these goals requires us to spend substantial time synthesizing existing work of Lurie so that we may rigorously talk about group objects in $\infty$-topoi in the "usual way." One nice result of this labor is the formulation and proof of an Orbit-Stabilizer Theorem for group actions in $\infty$-topoi.

Normal structure spaces of groups

Topological properties of some classes of submodules

Regularity and normality on primal spaces

Regular and Complete Spaces over Topological Quasigroups

On the space of subgroups of Baumslag-Solitar groups I: perfect kernel and phenotype

Higher Groups and Higher Normality

Complex structures on Three-point space

Selective Survey on Spaces of Closed Subgroups of Topological Groups

Ideal spaces: An extension of structure spaces of rings

M‐normal Subgroups and Non‐abelian Lower Continuous Topological Groups

Topological spaces related with topological quasigroups

Group structures of a function spaces with the set-open topology

Topological fundamental groupoid. I

Topological Properties of Almost Abelian Groups

On the structure of topological spaces

Coarse structures on locally compact abelian groups

On ℑ n -normal subgroups of finite groups

Topological Fundamental Groupoid. II. An action category of the fundamental groupoid

On groups whose subnormal abelian subgroups are normal

Semi-proximal spaces and normality

On generalized topological groups