$C_1$-category
Definition
0
.
1
A
category
with
coproducts
is called a
-category
if for every family of of monomorphisms
the
morphism
is also a monomorphism ([
1
]).
Remark
0
.
1
With certain additional conditions (as explained in ref. [
1
])
may satisfy the Grothendieck axiom
, thus becoming a
-category (Ch. 11 in [
1
]).
Bibliography
1
See p.81 in 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):
bci1
As of this snapshot date, this entry was owned by
bci1
.