pure interface of class Obj

public abstract class Obj
  extends Printable
{
    public int size;
    public static Obj unit;
    public Mor id();
    public Obj tensor(Obj X);
    public Obj fun(PremonCat C,
                   Obj X);
    public Obj();
}