public class Simplicial.IncreasingMap extends java.lang.Object implements Functor
Modifier and Type | Field and Description |
---|---|
protected Preorder |
from |
protected java.lang.Integer[] |
out |
protected Preorder |
to |
Constructor and Description |
---|
Simplicial.IncreasingMap(Preorder toObj,
java.lang.Integer[] toImg) |
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.
|
Functor |
compose(Functor f)
Returns the composition of this functor with another.
|
java.lang.Object |
domain()
Returns the domain.
|
Category.Morphism |
map(Category.Morphism m)
Maps a morphism from one category to another.
|
java.lang.Object |
map(java.lang.Object o)
Maps an object from one category to another.
|
protected final Preorder from
protected final Preorder to
protected final java.lang.Integer[] out
public Simplicial.IncreasingMap(Preorder toObj, java.lang.Integer[] toImg)
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)
Functor
map
in interface Category.Morphism
map
in interface Functor
public Category.Morphism map(Category.Morphism m)
Functor
public Category.Morphism compose(Category.Morphism m)
Category.Morphism
compose
in interface Category.Morphism