|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object JSci.maths.categories.FinSet.Function
public class FinSet.Function
Constructor Summary | |
---|---|
FinSet.Function(MathSet a,
MathSet b,
java.lang.Object[] inObjs,
java.lang.Object[] outObjs)
|
Method Summary | |
---|---|
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FinSet.Function(MathSet a, MathSet b, java.lang.Object[] inObjs, java.lang.Object[] outObjs)
Method Detail |
---|
public java.lang.Object domain()
Category.Morphism
domain
in interface Category.Morphism
public java.lang.Object codomain()
Category.Morphism
codomain
in interface Category.Morphism
public java.lang.Object map(java.lang.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 | FRAMES NO FRAMES All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |