## You are here

Homesuperalgebroids and higher dimensional algebroids

## Primary tabs

# superalgebroids and higher dimensional algebroids

# 0.0.1 Definitions of double, and higher dimensional, algebroids, superalgebroids and generalized superalgebras

*Double algebroids*

###### Definition 0.1.

A *double $R$–algebroid* consists of a
double category $D$,
as detailed in ref.[2], such that each category structure has the additional structure of
an $R$–algebroid. More precisely, a double $R$–algebroid $\mathsf{D}$ involves four related
$R$–algebroids:

$\displaystyle(D,D_{1},\partial^{0}_{1},\partial^{1}_{1},\varepsilon_{1},+_{1},% \circ_{1},._{1}),$ | $\displaystyle(D,D_{2},\partial^{0}_{2},\partial^{1}_{2},\varepsilon_{2},+_{2},% \circ_{2},._{2})$ | (0.1) | ||

$\displaystyle(D_{1},D_{0},\delta^{0}_{1},\delta^{1}_{1},\varepsilon,+,\circ,.),$ | $\displaystyle(D_{2},D_{0},\delta^{0}_{2},\delta^{1}_{2},\varepsilon,+,\circ,.)$ |

that satisfy the following rules:

- i)
$\delta^{i}_{2}\partial^{j}_{2}=\delta^{j}_{1}\partial^{i}_{1}$ for $i,j\in\{0,1\}$

- ii)
$\displaystyle\partial^{i}_{2}(\alpha+_{1}\beta)=\partial^{i}_{2}\alpha+% \partial^{i}_{2}\beta,$ $\displaystyle\partial^{i}_{1}(\alpha+_{2}\beta)=\partial^{i}_{1}\alpha+% \partial^{i}_{1}\beta$ (0.2) $\displaystyle\partial^{i}_{2}(\alpha\circ_{1}\beta)=\partial^{i}_{2}\alpha% \circ\partial^{i}_{2}\beta,$ $\displaystyle\partial^{i}_{1}(\alpha\circ_{2}\beta)=\partial^{i}_{1}\alpha% \circ\partial^{i}_{1}\beta$ for $i=0,1,\alpha,\beta\in D$ and both sides are defined.

- iii)
$\displaystyle r._{1}(\alpha+_{2}\beta)=(r._{1}\alpha)+_{2}(r._{1}\beta),$ $\displaystyle r._{2}(\alpha+_{1}\beta)=(r._{2}\alpha)+_{1}(r._{2}\beta)$ (0.3) $\displaystyle r._{1}(\alpha\circ_{2}\beta)=(r._{1}\alpha)\circ_{2}(r._{1}\beta),$ $\displaystyle r._{2}(\alpha\circ_{1}\beta)=(r._{2}\alpha)\circ_{1}(r._{2}\beta)$ $\displaystyle r._{1}(s._{2}\beta)$ $\displaystyle=s._{2}(r._{1}\beta)$ for all $\alpha,\beta\in D,~{}r,s\in R$ and both sides are defined.

- iv)
$\displaystyle(\alpha+_{1}\beta)+_{2}(\gamma+_{1}\lambda)$ $\displaystyle=(\alpha+_{2}\gamma)+_{1}(\beta+_{2}\lambda),$ (0.4) $\displaystyle(\alpha\circ_{1}\beta)\circ_{2}(\gamma\circ_{1}\lambda)$ $\displaystyle=(\alpha\circ_{2}\gamma)\circ_{1}(\beta\circ_{2}\lambda)$ $\displaystyle(\alpha+_{i}\beta)\circ_{j}(\gamma+_{i}\lambda)$ $\displaystyle=(\alpha\circ_{j}\gamma)+_{i}(\beta\circ_{j}\lambda)$ for $i\neq j$, whenever both sides are defined.

The definition of a double algebroid specified above was introduced by Brown and Mosa [1]. Two functors can be then constructed, one from the category of double algebroids to the category of crossed modules of algebroids, whereas the reverse functor is the unique adjoint (up to natural equivalence). The construction of such functors requires the following definition.

# 0.1 Category of Double Algebroids

A morphism $f:\mathsf{D}\to\mathcal{E}$ of double algebroids is then defined as a morphism of truncated cubical sets which commutes with all the algebroid structures. Thus, one can construct a category $\mathbf{DA}$ of double algebroids and their morphisms. The main construction in this subsection is that of two functors $\eta,\eta^{{\prime}}$ from this category $\mathbf{DA}$ to the category $\mathbf{CM}$ of crossed modules of algebroids.

Let ${D}$ be a double algebroid. One can associate to ${D}$ a crossed module $\mu:M{\longrightarrow}{D}_{1}$. Here $M(x,y)$ will consist of elements $m$ of ${D}$ with boundary of the form: 0 1

$\partial m=\begin{pmatrix}&a&\\ 1_{y}&&1_{x}\\ &0_{{xy}}&\end{pmatrix}~{},$ | (0.5) |

that is $M(x,y)=\{m\in D:\partial^{1}_{1}m=0_{{xy}},\partial^{0}_{2}m=1_{x},\partial^{1% }_{2}m=1_{y}\}$.

# 0.2 Cubic and Higher dimensional algebroids

One can extend the above notion of double algebroid to cubic and higher dimensional algebroids. The concepts of 2-algebroid, 3-algebroid,…, $n$–algebroid and superalgebroid are however quite distinct from those of double, cubic,…, n–tuple algebroid, and have technically less complicated definitions.

# References

- 1 R. Brown and G. H. Mosa: Double algebroids and crossed modules of algebroids, University of Wales–Bangor, Maths Preprint, 1986.
- 2
R. Brown and C.B. Spencer: Double groupoids and crossed modules,
*Cahiers Top. Géom.Diff.*17: 343–362 (1976).

## Mathematics Subject Classification

18A25*no label found*18A20

*no label found*18A15

*no label found*55U40

*no label found*55U35

*no label found*18D05

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections