org.jscience.mathematics.algebraic.categories
Interface Category.Morphism

All Known Subinterfaces:
Functor
All Known Implementing Classes:
FinSet.Function, Hilb.LinearMap, Preorder.Relation, Simplicial.DegeneracyMap, Simplicial.FaceMap, Simplicial.IncreasingMap
Enclosing interface:
Category

public static interface Category.Morphism

This interface defines a morphism in a category.


Method Summary
 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.
 

Method Detail

domain

java.lang.Object domain()
Returns the domain.

Returns:
DOCUMENT ME!

codomain

java.lang.Object codomain()
Returns the codomain.

Returns:
DOCUMENT ME!

map

java.lang.Object map(java.lang.Object o)
Maps an object from the domain to the codomain.

Parameters:
o - DOCUMENT ME!
Returns:
DOCUMENT ME!

compose

Category.Morphism compose(Category.Morphism m)
                          throws UndefinedCompositionException
Returns the composition of this morphism with another.

Parameters:
m - DOCUMENT ME!
Returns:
DOCUMENT ME!
Throws:
UndefinedCompositionException - DOCUMENT ME!