|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjsci.maths.categories.Simplicial.IncreasingMap
public class Simplicial.IncreasingMap
Constructor Summary | |
---|---|
Simplicial.IncreasingMap(Preorder toObj,
Integer[] toImg)
|
Method Summary | |
---|---|
Object |
codomain()
Returns the codomain. |
Category.Morphism |
compose(Category.Morphism m)
Returns the composition of this morphism with another. |
Functor |
compose(Functor f)
Returns the composition of this functor with another. |
Object |
domain()
Returns the domain. |
Category.Morphism |
map(Category.Morphism m)
Maps a morphism from one category to another. |
Object |
map(Object o)
Maps an object from one category to another. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Simplicial.IncreasingMap(Preorder toObj, Integer[] toImg)
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)
Functor
map
in interface Category.Morphism
map
in interface Functor
public Category.Morphism map(Category.Morphism m)
Functor
map
in interface Functor
public Category.Morphism compose(Category.Morphism m)
Category.Morphism
compose
in interface Category.Morphism
public Functor compose(Functor f)
Functor
compose
in interface Functor
|
|||||||||
PREV CLASS NEXT CLASS | All Classes | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |