Previous work (Pradines, C. R. Acad. Sci. Paris 263 (1966) 907; Aof and Brown, Topology Appl. 47 (1992) 97) has given a setting for a holonomy Lie groupoid of a locally Lie groupoid. Here we develop analogous 2-dimensional notions starting from a locally Lie crossed module of groupoids. This involves replacing the Ehresmann notion of a local smooth coadmissible section of a groupoid by a local smooth coadmissible homotopy (or free derivation) for the crossed module case. The development also has to use corresponding notions for certain types of double groupoids. This leads to a holonomy Lie groupoid rather than double groupoid, but one which involves the 2-dimensional information. (C) 2003 Elsevier Inc. All rights reserved.
C1 Univ Coll N Wales, Sch Informat, Div Math, Bangor LL57 1UT, Gwynedd, Wales.
Univ Inonu, Fac Sci & Art, Dept Math, Malatya, Turkey.