jsci.maths.categories
Class FinSet.Function

java.lang.Object
  extended by jsci.maths.categories.FinSet.Function
All Implemented Interfaces:
Category.Morphism
Enclosing class:
FinSet

public class FinSet.Function
extends Object
implements Category.Morphism


Constructor Summary
FinSet.Function(MathSet a, MathSet b, Object[] inObjs, Object[] outObjs)
           
 
Method Summary
 Object codomain()
          Returns the codomain.
 Category.Morphism compose(Category.Morphism m)
          Returns the composition of this morphism with another.
 Object domain()
          Returns the domain.
 Object map(Object o)
          Maps an object from the domain to the codomain.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FinSet.Function

public FinSet.Function(MathSet a,
                       MathSet b,
                       Object[] inObjs,
                       Object[] outObjs)
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: 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


jHepWork 3.1 ©