[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

Constuctor Index

O Obj()

Variables Index

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

Methods

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

Constructors

O Obj
public Obj();

Variables

O 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 +).

O unit

public static Obj unit;
The unit object I.

Methods

O id
public Mor id();
The identity morphism for this object.

Returns:
the identity morphism for this object.

O tensor

public Obj tensor(Obj X);
The tensor of two objects.

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

O 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