jsci.maths.categories
Class Simplicial.IncreasingMap

java.lang.Object
  extended by jsci.maths.categories.Simplicial.IncreasingMap
All Implemented Interfaces:
Category.Morphism, Functor
Direct Known Subclasses:
Simplicial.DegeneracyMap, Simplicial.FaceMap
Enclosing class:
Simplicial

public class Simplicial.IncreasingMap
extends Object
implements Functor


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

Simplicial.IncreasingMap

public Simplicial.IncreasingMap(Preorder toObj,
                                Integer[] toImg)
Method Detail

domain

public Object domain()
Description copied from interface: Category.Morphism
Returns the domain.

Specified by:
domain in interface Category.Morphism

codomain

public Object codomain()
Description copied from interface: Category.Morphism
Returns the codomain.

Specified by:
codomain in interface Category.Morphism

map

public Object map(Object o)
Description copied from interface: Functor
Maps an object from one category to another.

Specified by:
map in interface Category.Morphism
Specified by:
map in interface Functor

map

public Category.Morphism map(Category.Morphism m)
Description copied from interface: Functor
Maps a morphism from one category to another.

Specified by:
map in interface Functor

compose

public Category.Morphism compose(Category.Morphism m)
Description copied from interface: Category.Morphism
Returns the composition of this morphism with another.

Specified by:
compose in interface Category.Morphism

compose

public Functor compose(Functor f)
Description copied from interface: Functor
Returns the composition of this functor with another.

Specified by:
compose in interface Functor


jHepWork 3.1 ©