Crossed squares of cocommutative Hopf algebras (Q2035833)

A \emph{crossed module of groups} \((X,B,d)\) consists of groups \(X,B\) together with a group homomorphism \(d: X \rightarrow B\) and an action \(\rhd: B \times X \rightarrow X\) of \(B\) by group automorphisms on \(X\) such that \[ d(b\rhd x) = bd(x)b^{-1},\qquad d(x)\rhd y = xyx^{-1},\qquad \text{ for all } x,y\in X,b\in B. \] Such a crossed module turns out to be the equivalent to the notion of an internal groupoid in the category of groups, with \(B\) the associated `object set' and \(X \rtimes B\) the associated `set of morphisms'. The category of groups forms a semi-abelian category (a notion introduced by \textit{G. Janelidze} et al. [J. Pure Appl. Algebra 168, No. 2--3, 367--386 (2002; Zbl 0993.18008)]), and as observed by \textit{G. Janelidze} [Georgian Math. J. 10, No. 1, 99--114 (2003; Zbl 1069.18009)], the above correspondence between crossed modules and groupoids continues to hold internally to an arbitrary semi-abelian categories. Furthermore, as observed by \textit{D. Bourn} and \textit{M. Gran} [J. Pure Appl. Algebra 175, No. 1--3, 31--44 (2002; Zbl 1023.18013)], the category of internal groupoids, or equivalently, of crossed modules in a semi-abelian category is itself a semi-abelian category. This allows to form `higher-dimensional' versions of crossed modules in this abstract setting, called (internal) double crossed modules, and to establish their (abstract) equivalence with (internal) double groupoids. For example, in the setting of groups this leads to so-called `crossed squares of groups' as \(2\)-dimensional versions of crossed modules. Groups as well as Lie algebras can be recovered as special cases of \textit{cocommutative Hopf algebras} (over a field), with the latter still forming a semi-abelian category. In a previous article by the author together with \textit{M. Gran} and \textit{J. Vercruysse} [J. Pure Appl. Algebra 223, No. 10, 4171--4190 (2019; Zbl 1440.18013)], the abstract notion of a crossed module in the semi-abelian category of cocommutative Hopf algebras was identified with an explicit notion already considered by other authors. In this article, the author considers the corresponding two-dimensional version, and constructs an explicit notion of a \emph{Hopf crossed square} of cocommutative Hopf algebras. She then makes the explicit comparison with the notion of a double groupoid internal to the category of cocommutative Hopf algebras, providing a concrete instance of the above referenced abstract equivalence result.