|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjsci.maths.categories.FinSet.Function
public class FinSet.Function
Constructor Summary | |
---|---|
FinSet.Function(MathSet a,
MathSet b,
Object[] inObjs,
Object[] outObjs)
|
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 FinSet.Function(MathSet a, MathSet b, Object[] inObjs, Object[] outObjs)
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 |