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

# public abstract class Obj

(source file: Obj.java)

    java.lang.Object
       |
       +----Printable
               |
               +----Obj

The pure class interface.

    public abstract class Obj
      extends Printable

  The class of objects.

  Author:
    Alan Jeffrey
  Version: v1.0 1998/06/11

##

Obj()

##

size
  Each object has a size (given by the homomorphic map which takes I to 0, primitives
unit
  The unit object I.

##

fun(PremonCat, Obj)
  A homobject with this as source.
id()
  The identity morphism for this object.
tensor(Obj)
  The tensor of two objects.

##

Obj

    public Obj();

##

size

    public int size;

  Each object has a size (given by the homomorphic map which takes I to 0, primitives and functions to 1, and to +).

unit

    public static Obj unit;

  The unit object I.

##

id

    public Mor id();

  The identity morphism for this object.

  Returns:
    the identity morphism for this object.

tensor

    public Obj tensor(Obj X);

  The tensor of two objects.

  Parameters:
    X - the other object to tensor with.
  Returns:
    this X.

fun

    public Obj fun(PremonCat C,
                   Obj X);

  A homobject with this as source.

  Parameters:
    C - the category of the hom.
    X - the target object.
  Returns:
    the homobject C[this,X]

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

###### Obj.html