# PlanetPhysics/C 3Category

## Abelian -categoryEdit

Let be an *Abelian cocomplete category*, defined as the dual of an Abelian complete category.

A * -category* is defined as a cocomplete Abelian category
such that the following distributivity relation holds for any direct family and any subobject :

(^{[1]})

A * -category* is also called an -category.

The dual of the Cartesian closed category of finite Abelian quantum groups with exponential elements (including Lie groups) and quantum group homomorphisms is a -category.

## All SourcesEdit

^{[1]}^{[2]}

## ReferencesEdit

- ↑
^{1.0}^{1.1}See p.82 and eq. (1) in ref. in the Bibliography for categories and algebraic topology - ↑ Ref. in the Bibliography for categories and algebraic topology