Dice Question Streamline Icon: https://streamlinehq.com

Elementary definition of n-groups without higher category or homotopy theory

Develop an elementary definition of n-groups (higher groups) that does not rely on higher category theory or homotopy theory, to provide an accessible framework compatible with the combinatorial and algebraic approach of groupspaces.

Information Square Streamline Icon: https://streamlinehq.com

Background

In discussing potential connections between groupspaces and n-groups, the author reports an inability to find an elementary definition of n-groups that avoids advanced machinery from higher category or homotopy theory.

Providing such a definition would make n-groups more accessible to researchers working within the groupspace framework and could facilitate a direct comparison or integration of the two theories.

References

The author of this paper was not able to find an elementary definition of this concept which does not use higher category theory or homotopy theory.

A higher-order generalization of group theory (2407.07815 - Szegedy, 10 Jul 2024) in Section 1 (Introduction), final paragraph