[all packages] [package ] [class hierarchy] [index]

pure interface of class Mor

The documentated page.
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]
Mor.interface.html