Higher dimensional algebroids and crossed modules

Ghafar Huseen Mosa

PhD Thesis, University of Wales,

Bangor, 1986

Comments by Ronnie Brown:
Ghafar Mosa's thesis strikes new ground in dealing with double algebroids and extending the reults of Brown and Spencer on double groupoids to the algebroid (rings with several objects) case.

This extension is not straightforward, as it is not so clear how to axiomatise the connections, to take account of the additive structures and the scalar multiplications. I feel now that a reading of this thesis suggests that what is axiomatised for those structures is the folding operation defined by the connections.

It seemed to me that the availablitity of this thesis has become a necessity, but I have been unable to contact Dr Mosa for his permission. Now that I have the home facilities to do this job, I have taken it upon myself to make the thesis available as a set of pdf files, see below.

The higher dimensional axiomatisation of ω-algebroids was also taken account of in the thesis

F. Al-Agl, Aspects of multiple categories, (1990).

which confined itself to the category rather than algebroid case and itself formed a basis for the paper

R. Brown, F. A. Al-Agl and R. Steiner, ``Multiple categories: the equivalence of a globular and a cubical approach'', Advances in Mathematics 170 (2002) 71-118.  pdf

An integration of the two approaches has not yet been done, and may require a lot of work.

An aim of this programme was to go further and, following the model for crossed complexes of groupoids, to develop a monoidal closed structure on ω-algebroids and hence for crossed complexes of algebroids.

Thesis contents:

SUMMARY
CONTENTS
INTRODUCTION i-xi
CHAPTER I : R-ALGEBROIDS
$0. INTRODUCTION 1
$2. CROSSED MODULES (OVER ASSOCIATIVE ALGEBRAS) 8
$3. CROSSED MODULES (OVER ALGEBROIDS) 10
CHAPTER II : DOUBLE R-ALGEBROIDS
$0. INTRODUCTION 15
15
$2. FUNCTORS (DOUBLE ALGEBROIDS)→(CROSSED MODULES) 23
$3. EXAMPLES 26
CHAPTER III : THE EQUIVALENCE BETWEEN THE CATEGORY OF CROSSED MODULES
AND THE CATEGORY OF SPECIAL DOUBLE ALGEBROIDS WITH CONNECTIONS
$0. INTRODUCTION 30
$1. THIN STRUCTURES AND CONNECTIONS 31
$2. THE FOLDING OPERATION 41
$3. THE FUNCTOR (CROSSED MODULES) → (DOUBLE ALGEBROIDS) 46
$4. THE EQUIVALENCE OF CATEGORIES 52
$5. REFLECTION 56
CHAPTER IV : ω-ALGEBROIDS (WITHOUT CONNECTIONS) AND CROSSED COMPLEXES
$0. INTRODUCTION 60
$1. ω-ALGEBROIDS (WITHOUT CONNECTIONS) 60
$2. CROSSED COMPLEXES 63
$3. THE FUNCTOR (ω-Alg) → (Crs) 66
CHAPTER V : THE EQUIVALENCE BETWEEN n-TUPLE ALGEBROIDS
AND CROSSED COMPLEXES FOR n=3 and 4
$0. INTRODUCTION 72
$1. ω-ALGEBROIDS WITH CONNECTIONS 72
$2. FOLDING OPERATIONS 75
$3. COSKELETON OF ω-ALGEBROIDS 98
$4. THE EQUIVALENCE OF CATEGORIES 102
CHAPTER VI : CONJECTURED RESULTS ON ALGEBROIDS, ω-ALGEBROIDS
AND CROSSED COMPLEXES
105
APPENDIX  I Verification of Theorem 3.1. and Lemma 3.1.8 108
APPENDIX II Verification of proposition 3.2.2 diagrammatically 112
APPENDIX III The proof of claim 5.2.16 118
APPENDIX IV The proof of proposition 5.2.19 120
APPENDIX V   The proof of proposition 5.2.20 125
APPENDIX VI  The proof of proposiion 5.3.2 128
REFERENCES 134

Downloads as pdf files

Summary and Introduction       2.3 MB

Chapters I - II                         3.9 MB

Chapter III and Appendices I-II     4.9 MB

Chapter IV-VI                               5.4 MB

References   0.6 MB

Notes:

1. The purely categorical part of the first three chapters has been extracted and published as

 R. Brown and G.H. Mosa `Double categories, 2-categories, thin structures and connections', Theory and Applications of Categories, (1999), 163-175.

2. An abbreviated account of Chapters I-III has been available for some time as a preprint.

May 10, 2009