|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface Category.Morphism
This interface defines a morphism in a category.
Method Summary | |
---|---|
Object |
codomain()
Returns the codomain. |
Category.Morphism |
compose(Category.Morphism m)
Returns the composition of this morphism with another. |
Object |
domain()
Returns the domain. |
Object |
map(Object o)
Maps an object from the domain to the codomain. |
Method Detail |
---|
Object domain()
Object codomain()
Object map(Object o)
Category.Morphism compose(Category.Morphism m) throws UndefinedCompositionException
UndefinedCompositionException
|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |