PlanetPhysics/C 3Category
Abelian C3-category
editLet 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 Sources
editReferences
edit- ↑ 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