JSci.maths.categories

Class FinSet.Function

java.lang.Object

JSci.maths.categories.FinSet.Function

All Implemented Interfaces:

Category.Morphism

Enclosing class:

FinSet

public class FinSet.Function
extends java.lang.Object
implements Category.Morphism

Constructor Summary

Constructors

Constructor and Description
FinSet.Function(MathSet a, MathSet b, java.lang.Object[] inObjs, java.lang.Object[] outObjs)

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.
java.lang.Object	domain() Returns the domain.
java.lang.Object	map(java.lang.Object o) Maps an object from the domain to the codomain.

Methods inherited from class java.lang.Object

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

Constructor Detail

FinSet.Function

public FinSet.Function(MathSet a,
               MathSet b,
               java.lang.Object[] inObjs,
               java.lang.Object[] outObjs)

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: Category.Morphism

Maps an object from the domain to the codomain.

Specified by:

map in interface Category.Morphism

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