A
-category,
, is defined as a (small)
2-category
for which the following conditions hold:
, when the composition is defined, and satisfies the
Note:
The set of
-arrows
is a commutative monoid, with the identity map
assigning to each object
a
-arrow
such that
As of this snapshot date, this entry was owned by bci1.