public class MorCurry

java.lang.Object
   |
   +----Printable
           |
           +----Mor
                   |
                   +----MorCurry

public class MorCurry
  extends Mor

A curried morphism.

MorCurry(Mor, PremonCat, Obj, Obj)

Create a new curried morphism curry(f) : V[X,C[Y,Z]]

graph0(Constraints, Interface)

print(Printer)

uncurry()

public MorCurry(Mor f,
                PremonCat C,
                Obj X,
                Obj Y);

Create a new curried morphism curry(f) : V[X,C[Y,Z]]

Parameters:

f - the morphism to curry, of type f : X Y Z in C

C - the category of the morphism.

X - the lh source object.

Y - the rh source object.

public void print(Printer p);

uncurry

public Mor uncurry();

graph0

public Graph0 graph0(Constraints Con,
                     Interface source);

MorCurry.html