public static interface Category.Morphism
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
codomain()
Returns the codomain.
|
Category.Morphism |
compose(Category.Morphism m)
Returns the composition of this morphism with another.
|
java.lang.Object |
domain()
Returns the domain.
|
java.lang.Object |
map(java.lang.Object o)
Maps an object from the domain to the codomain.
|
java.lang.Object domain()
java.lang.Object codomain()
java.lang.Object map(java.lang.Object o)
Category.Morphism compose(Category.Morphism m) throws UndefinedCompositionException
UndefinedCompositionException