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.
As of this snapshot date, this entry was owned by bci1.