|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.Morphism
org.rubato.math.yoneda.IdentityMorphism
public abstract class IdentityMorphism
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.
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 |
---|
public IdentityMorphism()
Method Detail |
---|
public abstract Diagram getDiagram()
public abstract Module getModule()
public abstract int getType()
public Diagram getDomainDiagram()
Morphism
getDomainDiagram
in class Morphism
public Diagram getCodomainDiagram()
Morphism
getCodomainDiagram
in class Morphism
public Module getDomainModule()
Morphism
getDomainModule
in class Morphism
public Module getCodomainModule()
Morphism
getCodomainModule
in class Morphism
public int getDomainType()
Morphism
getDomainType
in class Morphism
public int getCodomainType()
Morphism
getCodomainType
in class Morphism
public IdentityMorphism getDomain()
Morphism
getDomain
in class Morphism
public IdentityMorphism getCodomain()
Morphism
getCodomain
in class Morphism
public MorphismMap getMap()
Morphism
getMap
in class Morphism
public void setMap(MorphismMap map)
Morphism
setMap
in class Morphism
public final boolean isIdentity()
Morphism
isIdentity
in class Morphism
public boolean isRepresentable()
Morphism
isRepresentable
in class Morphism
public abstract int hashCode()
Morphism
hashCode
in class Morphism
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |