JSci.maths.categories
Class Simplicial.IncreasingMap

java.lang.Object
  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 java.lang.Object

implements Functor

Field Summary

protected Preorder	from
protected java.lang.Integer[]	out
protected Preorder	to

Constructor Summary

Simplicial.IncreasingMap(Preorder toObj, java.lang.Integer[] toImg)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

from

protected final Preorder from

to

protected final Preorder to

out

protected final java.lang.Integer[] out

Constructor Detail

Simplicial.IncreasingMap

public Simplicial.IncreasingMap(Preorder toObj,
                                java.lang.Integer[] toImg)

Method Detail

domain

public java.lang.Object domain()

Description copied from interface: Category.Morphism

Returns the domain.

Specified by:

domain in interface Category.Morphism

codomain

public java.lang.Object codomain()

Description copied from interface: Category.Morphism

Returns the codomain.

Specified by:

codomain in interface Category.Morphism

map

public java.lang.Object map(java.lang.Object o)

Description copied from interface: Functor

Maps an object from one category to another.

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