JSci.maths.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.


composeVert

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


composeHorz

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