{"id":"arxiv/2609.24034","url":"https://arxiv.org/abs/2609.24034","tags":["math.CT","hep-th","math.QA"],"score":0,"title":"An Equivalence of Categories between 3-Crossed Modules and Gray 4-Groups","domain":"math.CT","source":"arxiv","authors":["Masaki Fukuda","Tommy Shu"],"reviews":0,"subject":"math.CT","summary":"In this paper, we investigate the relation between the category of 3-crossed modules and the category of Gray-type 4-groups. The notion of a 3-crossed module was first introduced by Arvasi \\textit{et al.}, motivated by the question of what kind of algebraic structure completely encodes a homotopy 4-type. On the other hand, from the point of view that higher groups are equivalent to algebraic realizations of higher categories -- as exemplified by the relationship between 2-crossed modules and Gray 3-groups established by Sarikaya--Ulualan -- it had not been clear how the 3-crossed modules of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}