DETERMINATION OF A DOUBLE LIE GROUPOID BY ITS CORE DIAGRAM

被引:51
作者
BROWN, R
MACKENZIE, KCH
机构
[1] UNIV SHEFFIELD,DEPT PURE MATH,SHEFFIELD S3 7RH,S YORKSHIRE,ENGLAND
[2] UNIV WALES,SCH MATH,BANGOR LL57 1UT,GWYNEDD,WALES
[3] UNIV DURHAM,DEPT MATH SCI,DURHAM DH1 3LE,ENGLAND
关键词
D O I
10.1016/0022-4049(92)90145-6
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In a double groupoid S, we show that there is a canonical groupoid structure on the set of those squares of S for which the two source edges are identities; we call this the core groupoid of S. The target maps from the core groupoid to the groupoids of horizontal and vertical edges of S are now base-preserving morphisms whose kernels commute, and we call the diagram consisting of the core groupoid and these two morphisms the core diagram of S. If S is a double Lie groupoid, and each groupoid structure on S satisfies a natural double form of local triviality, we show that the core diagram determines S and, conversely, that a locally trivial double Lie groupoid may be constructed from an abstractly given core diagram satisfying some natural additional conditions. In the algebraic case, the corresponding result includes the known equivalences between crossed modules, special double groupoids with special connection (Brown and Spencer), and cat1-groups (Loday). These cases correspond to core diagrams for which both target morphisms are (compatibly) split surjections.
引用
收藏
页码:237 / 272
页数:36
相关论文
共 26 条
[1]  
BROWN R, 1978, P LOND MATH SOC, V36, P193
[2]   COLIMIT THEOREMS FOR RELATIVE HOMOTOPY-GROUPS [J].
BROWN, R ;
HIGGINS, PJ .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1981, 22 (01) :11-41
[3]   FIBRATIONS OF GROUPOIDS [J].
BROWN, R .
JOURNAL OF ALGEBRA, 1970, 15 (01) :103-&
[4]   ON THE ALGEBRA OF CUBES [J].
BROWN, R ;
HIGGINS, PJ .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1981, 21 (03) :233-260
[5]  
BROWN R., 1976, NEDERL AKAD WETENS A, V79, P296
[6]  
BROWN R, 1976, CAH TOP GEOM DIFF, V17, P343
[7]  
EHRESMANN AC, 1984, C EHRESMANN OEUVRES
[8]  
EHRESMANN AC, 1984, C EHRESMANN OEUVRE 3
[9]  
EHRESMANN AC, 1984, C EHRESMANN OEUVRE 4
[10]  
Ehresmann C., 1963, ANN SCI ECOLE NORM S, V3, P349