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

Fields

Modifier and Type	Field and Description
protected Preorder	from
protected java.lang.Integer[]	out
protected Preorder	to

Constructor Summary

Constructors

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

Method Summary

Methods

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.

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 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