|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
Same as ExactCategoryObj. See KernelledCatMorphism and ExactCategoryMorphism for the
differences between exact and kernelled categories.
| Method Summary | |
KernelledCatMorphism |
getZeroMorphism(KernelledCatObj source)
Returns the zero morphism from source to
this. |
boolean |
isZero()
Whether this is a zero object. |
| Methods inherited from interface Obj |
getIdMorphism |
| Method Detail |
public boolean isZero()
public KernelledCatMorphism getZeroMorphism(KernelledCatObj source)
source to
this.
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||