00896nas a2200109 4500008004100000245003200041210002800073260001200101520062200113100001400735856003700749 2020 eng d00aOn coherent Hopf 2-algebras0 acoherent Hopf 2algebras c05/20203 aWe construct a coherent Hopf 2-algebra as quantization of a coherent 2-group, which consists of two Hopf coquasigroups and a coassociator. For this constructive method, if we replace Hopf coquasigroups by Hopf algebras, we can construct a strict Hoft 2-algebra, which is a quantisation of 2-group. We also study the crossed comodule of Hopf algebras, which is shown to be a strict Hopf 2-algebra under some conditions. As an example, a quasi coassociative Hopf coquasigroup is employed to build a special coherent Hopf 2-algebra with nontrivial coassociator. Following this we study functions on Cayley algebra basis.1 aHan, Xiao uhttps://arxiv.org/abs/2005.11207