|
Main Menu
|
Sections
Talkback
Downloads
Information
|
|
|
|
|
|
Definition 0.1 If
 is a groupoid (for example, considered as a category with all morphisms invertible) then we can construct an -algebroid,
 as follows. The object set of
 is the same as that of
 and
 is the free  -module on the set
 , with composition given by the usual bilinear rule, extending the composition of
 .
Definition 0.2 Alternatively, one can define
 to be the set of functions
 with finite support, and then we define the convolution product as follows:
 |
(0.1) |
Remark 0.1
- As it is very well known, only the second construction is natural for the topological case, when one needs to replace 'function' by 'continuous function with compact support' (or locally compact support for the QFT extended symmetry sectors), and in this case
. The point made here is that to carry out the usual construction and end up with only an algebra rather than an algebroid, is a procedure analogous to replacing a groupoid
by a semigroup
in which the compositions not defined in are defined to be 0 in . We argue that this construction removes the main advantage of groupoids, namely the spatial component given by the set of objects.
- More generally, an R-category is similarly defined as an extension to this R- algebroid concept.
- 1
- R. Brown and G. H. Mosa: Double algebroids and crossed modules of algebroids, University of Wales–Bangor, Maths Preprint, 1986.
- 2
- G. H. Mosa: Higher dimensional algebroids and Crossed complexes, PhD thesis, University of Wales, Bangor, (1986). (supervised by R. Brown).
|
"R-algebroid" is owned by bci1.
|
|
See Also: groupoid, 2-groupoid, superalgebroids in higher dimensions, R-category, n-groupoids, R-supercategory
Other names: |
dual of R-groupoid or ringoid |
Cross-references: concept, R-category, semigroup, algebroid, QFT, topological, convolution, functions, composition, object, morphisms, category, groupoid
There is 1 reference to this object.
This is version 2 of R-algebroid, born on 2009-01-31, modified 2009-01-31.
Object id is 455, canonical name is RAlgebroid.
Accessed 923 times total.
Classification:
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|