|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
An object in a category.
In addition to the methods below, an implementation may need
to override Object.equals(java.lang.Object). As always with Java, a class
overriding equals needs to make Object.hashCode() consistent with equals.
| Method Summary | |
Morphism |
getIdMorphism()
Returns an identity morphism from this object to
itself. |
| Method Detail |
public Morphism getIdMorphism()
this object to
itself.
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||