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

# public class MorIdI

(source file: MorIdI.java)

    java.lang.Object
       |
       +----Printable
               |
               +----Mor
                       |
                       +----MorShuffle
                               |
                               +----MorId
                                       |
                                       +----MorIdI

The pure class interface.

    public class MorIdI
      extends MorId

  The identity morphism I I.

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

##

MorIdI()

##

tensor(Mor)

##

MorIdI

    public MorIdI();

##

tensor

    public Mor tensor(Mor f);

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

###### MorIdI.html