[
return to viewing '$C_1$-category'
]
| diff |
2009-02-03 01:57:19
- revision [
Version 10 --> Version 11
]
by
bci1
A category $\mathcal{C}_1$ with coproducts is called a \emph{$C_1$-category} if for every family of
of monomorphisms $\left\{u_i: A_i \to B_i\right\}$ the morphism
$$\iota = \oplus_i u_i: \oplus_i A_i \to A_i \oplus_i B_i $$ |
|
| diff |
2008-09-27 01:02:59
- revision [
Version 2 --> Version 3
]
by
bci1
{\em Note:}
With certain additional conditions $\mathcal{C}1$ may satisfy the Grothendieck aciom $\mathcal{A}b5$, thus becoming a
$C_3$-category (Ch. 11 in \cite{BM266}). |
|
| 
