$C_2$-category
In general, a
-category is an
-category, or, alternatively, an
- and
-category
with certain additional conditions for the canonical morphism
from direct sums to products of any family of objects
in
[2]).
Definition 0.1
A
-category is defined as a
category

that has products,
coproducts
and a zero object, and if the morphism

is a monomorphism for any family of objects

in

(p. 81 in [
1]).
Remark 0.1
One readily obtains the result that a

-category is

([
1]).
- 1
-
Ref.
in the
Bibliography for categories and algebraic topology
- 2
-
Ref.
in the Bibliography for categories and algebraic topology
Contributors to this entry (in most recent order):
As of this snapshot date, this entry was owned by bci1.