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. 1.0 1.1 See p.82 and eq. (1) in ref.   in the Bibliography for categories and algebraic topology
  2. Ref.   in the Bibliography for categories and algebraic topology