[all packages]
[package ]
[class hierarchy]
[index]
public abstract class Mor
extends Printable
{
public PremonCat cat;
public Obj source;
public Obj target;
public abstract Graph0 graph0(Constraints C,
Interface source);
public Graph1 graph1(Constraints C,
Interface source,
int control);
public static final Mor unit;
public Mor comp(Mor f);
public Mor simpleComp(Mor f);
public Mor tensor(Mor f);
public Mor tensorDots(Mor f);
public Mor curry(PremonCat C,
Obj X,
Obj Y);
public Mor trace(Obj X,
Obj Y,
Obj Z);
public Mor uncurry();
public Mor();
}
[all packages]
[package ]
[class hierarchy]
[index]