org.rubato.math.yoneda
Class IdentityMorphism

java.lang.Object
  extended by org.rubato.math.yoneda.Morphism
      extended by org.rubato.math.yoneda.IdentityMorphism
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Morphism>, Yoneda, XMLInputOutput<Morphism>
Direct Known Subclasses:
ProperIdentityMorphism, RepresentableIdentityMorphism

public abstract class IdentityMorphism
extends Morphism

Abstract base class for identity morphisms. Identity morphisms represent "objects" in our categorical setting. Domain and codomain are the same and are the effective "object". The implemented map is simply the identity map.

Author:
Gérard Milmeister, Stefan Müller, Stefan Göller
See Also:
Serialized Form

Field Summary
 
Fields inherited from interface org.rubato.math.yoneda.Yoneda
COLIMIT, LIMIT, LIST, POWER, SIMPLE
 
Constructor Summary
IdentityMorphism()
           
 
Method Summary
 IdentityMorphism getCodomain()
          Returns the codomain identity morphism (object) of this morphism.
 Diagram getCodomainDiagram()
          Returns the codomain diagram of this morphism.
 Module getCodomainModule()
          Returns the codomain module of this morphism.
 int getCodomainType()
          Returns the codomain denotator type of this morphism.
abstract  Diagram getDiagram()
          Returns the diagram of this identity morphism.
 IdentityMorphism getDomain()
          Returns the domain identity morphism (object) of this morphism.
 Diagram getDomainDiagram()
          Returns the domain diagram of this morphism.
 Module getDomainModule()
          Returns the domain module of this morphism.
 int getDomainType()
          Returns the domain denotator type of this morphism.
 MorphismMap getMap()
          Returns the implementation of this morphism.
abstract  Module getModule()
          Returns the module of this identity morphism.
abstract  int getType()
          Returns the type of this identity morphism.
abstract  int hashCode()
          Returns a hash code for this morphism.
 boolean isIdentity()
          Returns true iff this morphism is an identity morphism.
 boolean isRepresentable()
          Returns true iff this morphism is representable.
 void setMap(MorphismMap map)
          Sets the implementation of this morphism.
 
Methods inherited from class org.rubato.math.yoneda.Morphism
at, changeAddress, changeAddress, clone, compareTo, copy, equals, fullEquals, getDenotatorDependencies, getFormDependencies
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.rubato.xml.XMLInputOutput
fromXML, getElementTypeName, toXML
 

Constructor Detail

IdentityMorphism

public IdentityMorphism()
Method Detail

getDiagram

public abstract Diagram getDiagram()
Returns the diagram of this identity morphism.


getModule

public abstract Module getModule()
Returns the module of this identity morphism.


getType

public abstract int getType()
Returns the type of this identity morphism.


getDomainDiagram

public Diagram getDomainDiagram()
Description copied from class: Morphism
Returns the domain diagram of this morphism.

Specified by:
getDomainDiagram in class Morphism

getCodomainDiagram

public Diagram getCodomainDiagram()
Description copied from class: Morphism
Returns the codomain diagram of this morphism.

Specified by:
getCodomainDiagram in class Morphism

getDomainModule

public Module getDomainModule()
Description copied from class: Morphism
Returns the domain module of this morphism.

Specified by:
getDomainModule in class Morphism

getCodomainModule

public Module getCodomainModule()
Description copied from class: Morphism
Returns the codomain module of this morphism.

Specified by:
getCodomainModule in class Morphism

getDomainType

public int getDomainType()
Description copied from class: Morphism
Returns the domain denotator type of this morphism.

Specified by:
getDomainType in class Morphism

getCodomainType

public int getCodomainType()
Description copied from class: Morphism
Returns the codomain denotator type of this morphism.

Specified by:
getCodomainType in class Morphism

getDomain

public IdentityMorphism getDomain()
Description copied from class: Morphism
Returns the domain identity morphism (object) of this morphism.

Specified by:
getDomain in class Morphism

getCodomain

public IdentityMorphism getCodomain()
Description copied from class: Morphism
Returns the codomain identity morphism (object) of this morphism.

Specified by:
getCodomain in class Morphism

getMap

public MorphismMap getMap()
Description copied from class: Morphism
Returns the implementation of this morphism.

Specified by:
getMap in class Morphism

setMap

public void setMap(MorphismMap map)
Description copied from class: Morphism
Sets the implementation of this morphism.

Specified by:
setMap in class Morphism

isIdentity

public final boolean isIdentity()
Description copied from class: Morphism
Returns true iff this morphism is an identity morphism.

Overrides:
isIdentity in class Morphism

isRepresentable

public boolean isRepresentable()
Description copied from class: Morphism
Returns true iff this morphism is representable.

Overrides:
isRepresentable in class Morphism

hashCode

public abstract int hashCode()
Description copied from class: Morphism
Returns a hash code for this morphism.

Specified by:
hashCode in class Morphism