Working in the context of categorical groups, we show that the semidirect product provides a biequivalence between actions and points. From this biequivalence, we deduce a two-dimensional classification of split extensions of categorical groups, as well as the universal property of the holomorph of a categorical group. We also discuss the link between the holomorph and inner autoequivalences.
Homology, Homotopy and Applications, Vol. 8 (2006), No. 1, pp.145-167.
Available as: dvi dvi.gz ps ps.gz pdf