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

public abstract class Mor

(source file: Mor.java)

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

The pure class interface.

public abstract class Mor
  extends Printable

A morphism.


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

Mor()

cat: The category of the morphism.
source: The source object of the morphism.
target: The target object of the morphism.
unit: The identity morphism I I.

comp(Mor): Compose this morphism with another. (note that if both morphisms are shuffles, then the two
curry(PremonCat, Obj, Obj): Curry this morphism.
graph0(Constraints, Interface): Construct a graph (without a control line) from the morphism.
graph1(Constraints, Interface, int): Construct a graph (with a control line) from the morphism.
simpleComp(Mor): Compose this morphism with another. (note that if both morphisms are shuffles, then the two
tensor(Mor): Tensor this morphism with another.
tensorDots(Mor): Tensor this morphism with another (but when the graph is drawn, draw ellipses between the
trace(Obj, Obj, Obj): Trace this morphism.
uncurry(): Uncurry this morphism.

Mor

public Mor();

cat

public PremonCat cat;

The category of the morphism.

source

public Obj source;

The source object of the morphism.

target

public Obj target;

The target object of the morphism.

unit

public static final Mor unit;

The identity morphism I

graph0

public abstract Graph0 graph0(Constraints C,
                              Interface source);

Construct a graph (without a control line) from the morphism.

graph1

public Graph1 graph1(Constraints C,
                     Interface source,
                     int control);

Construct a graph (with a control line) from the morphism.

comp

public Mor comp(Mor f);

Compose this morphism with another. (note that if both morphisms are shuffles, then the two shuffles are composed together, which produces nicer graphs). For example, symm.comp (symm) will draw the identity graph.


Parameters:: f - the morphism to compose with.
Returns:: this;f

simpleComp

public Mor simpleComp(Mor f);

Compose this morphism with another. (note that if both morphisms are shuffles, then the two shuffles are not composed). For example symm.simpleComp (symm) will draw an XX-shaped graph.


Parameters:: f - the morphism to compose with.
Returns:: this;f

tensor

public Mor tensor(Mor f);

Tensor this morphism with another.


Parameters:: f - the morphism to tensor with
Returns:: this f

tensorDots

public Mor tensorDots(Mor f);

Tensor this morphism with another (but when the graph is drawn, draw ellipses between the morphisms).


Parameters:: f - the morphism to tensor with
Returns:: this f

curry

public Mor curry(PremonCat C,
                 Obj X,
                 Obj Y);

Curry this morphism.


Parameters:: C - the category to curry in (should be a supercategory of this.cat(; X - the source object.; Y - the target object.
Returns:: curry(this).

trace

public Mor trace(Obj X,
                 Obj Y,
                 Obj Z);

Trace this morphism.


Parameters:: X - the source object of the traced morphism.; Y - the target object of the traced morphism.; Z - the traced object (should be traceable).
Returns:: Tr(this).

uncurry

public Mor uncurry();

Uncurry this morphism.


Returns:: uncurry(this).


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

public abstract class Mor

Mor.html