org.jscience.mathematics.algebraic.categories
Interface NaturalTransformation


public interface NaturalTransformation

This interface defines a natural transformation.


Method Summary
 NaturalTransformation composeHorz(NaturalTransformation n)
          Returns the horizontal composition of this transformation with another.
 NaturalTransformation composeVert(NaturalTransformation n)
          Returns the vertical composition of this transformation with another.
 Functor map(Functor f)
          Maps one functor to another.
 

Method Detail

map

Functor map(Functor f)
Maps one functor to another.

Parameters:
f - DOCUMENT ME!
Returns:
DOCUMENT ME!

composeVert

NaturalTransformation composeVert(NaturalTransformation n)
Returns the vertical composition of this transformation with another.

Parameters:
n - DOCUMENT ME!
Returns:
DOCUMENT ME!

composeHorz

NaturalTransformation composeHorz(NaturalTransformation n)
Returns the horizontal composition of this transformation with another.

Parameters:
n - DOCUMENT ME!
Returns:
DOCUMENT ME!