`[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 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]`

###### Mor.html