|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjsci.maths.categories.Preorder.Relation
public class Preorder.Relation
Constructor Summary | |
---|---|
Preorder.Relation(Integer a,
Integer b)
|
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. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Preorder.Relation(Integer a, Integer b)
Method Detail |
---|
public Object domain()
Category.Morphism
domain
in interface Category.Morphism
public Object codomain()
Category.Morphism
codomain
in interface Category.Morphism
public Object map(Object o)
Category.Morphism
map
in interface Category.Morphism
public Category.Morphism compose(Category.Morphism m)
Category.Morphism
compose
in interface Category.Morphism
|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |