1: \begin{abstract}

2: 

3: {We define an exactly solvable model for 2+1D topological phases of matter on a triangulated surface derived from a crossed module of semisimple finite-dimensional Hopf algebras, the \emph{\HHK\ model}.

4: This model generalizes both the Kitaev quantum double model for a semisimple Hopf algebra and  the \sHKM\  derived from a 2-group, and can hence be interpreted as a Hopf-algebraic {discrete} higher gauge theory.}

5: 

6: We construct a family of crossed modules of semisimple Hopf algebras $(\Fun{X} \otimes \CC E \xrightarrow{\partial} \Fun{Y} \rtimes \CC G, \lact)$ that depends on four finite groups $E,G,X$ and $Y$. We calculate the ground-state spaces of the resulting model when  $G=E=\{1\}$ and when $Y=\{1\}$, both 

7: properly %genuinely 

8: Hopf-algebraic constructions; %in a number of particular cases, 

9: prove that they are canonically independent of the triangulations; 

10: and find a 2+1D TQFT whose state spaces on surfaces give the ground-state spaces. {These TQFTs are particular cases of Quinn}{'s} {{{finite total homotopy}} TQFT  and hence the  state spaces assigned to surfaces are free vector spaces on sets of homotopy classes of maps from a surface to {homotopy finite space{s}}, in this case obtained as classifying spaces of finite groupoids and finite crossed modules of groupoids.}

11: 

12: We leave it as an open problem whether the ground-state space of the \HHK\ model on a triangulated surface is independent of the triangulation for general crossed modules of semisimple Hopf algebras,  

13: whether a TQFT always exists whose state space on a surface gives the ground-state space of the model, {and whether the ground-state space of the model obtained from $E,G,X,Y$ can always be given a homotopical explanation.}

14: \end{abstract}

15: