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

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


composeVert

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


composeHorz

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