[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