Algebroids (linear categories)


A linear category, or algebroid, is a category whose hom-sets are all vector spaces (or modules) and whose composition operation is bilinear. This concept is a horizontal categorification of the concept of (unital associative) algebra.


Fix a commutative ring KK. (Often we want KK to be a field, such as the field \mathbb{C} of complex numbers.)

A KK-linear category, or KK-algebroid, is a category enriched over KK\,Mod, the monoidal category of KK-modules with the usual tensor product. (Note that we usually speak of KK\,Vect instead of KModK\,Mod when KK is a field.)

Just as a \mathbb{Z}-algebra is the same thing as a ring, so a \mathbb{Z}-algebroid is the same thing as a ringoid.


  • An algebra is a pointed algebroid with a single object, hence a one-object KModK\,Mod-enriched (or KVectK\,Vect-enriched) category. Compare with similar ‘oidfied’ concepts such as groupoid and ringoid.

  • Many linear categories are also assumed to be additive. A linear functor (that is, a KModK\,Mod-enriched or KVectK\,Vect-enriched functor) between additive linear categories is automatically an additive functor.

  • Beware that a Lie algebroid is not a special case of an algebroid in the above sense, just as a Lie algebra is not a unital associative algebra. The point is that there is a restrictive and a general sense of “algebra”. In the restrictive sense an algebra is an associative unital algebra, hence a monoid in VectVect, hence a one-object VectVect-enriched category. But in a more general sense an algebra is an algebra over an operad. It is this more general sense in terms of which Lie algebras are special cases of algebras and Lie algebroids their horizontal categorification.


  • Replacing plain vector spaces with chain complexes of vector spaces leads to an \infty-version of algebroids: a category enriched in chain complexes, which following the above reasoning could justly be called a DG algebroid is usually called a DG-category.

  • Replacing plain vector spaces with Banach spaces leads to a C *C^*-version of algebroids: a category enriched in Banach spaces with some extra structure (mimicing the extra structure of a C *C^*-algebra), which following the above reasoning could justly be call a C *C^*-algebroid is usually called a C *C^*-category. See spaceoids.

  • vertex operator algebroid

Last revised on March 21, 2014 at 08:58:17. See the history of this page for a list of all contributions to it.