Package org.rubato.math.yoneda

This package provides the principal Rubato classes for forms and denotators.

See:
          Description

Interface Summary
Connectable Interface for classes that have a connector attached.
FactorDenotator Interface for denotators that have factors.
MorphismMap The implementation or "formula" of a morphism.
Yoneda Base interface for Form, Morphism, Diagram and Denotator.
 

Class Summary
AbstractConnectableYoneda Abstract base class for Form and Denotator.
Address Utilities for address management.
AutoListMorphismMap Morphism map containing a set of morphisms (for power types).
ColimitDenotator Colimit denotator class.
ColimitForm Colimit form class.
CompoundMorphism General morphism.
ConstantModuleMorphismMap Morphism map containing a constant module morphism.
Denotator Abstract base class for denotators.
DenotatorReference A placeholder for denotators that are not yet known.
Diagram Abstract base class for diagrams.
EmptyMorphismMap Empty morphism map to avoid null references.
Form Abstract base class for forms.
FormDiagram Diagram of forms.
FormReference A placeholder for forms that are not yet known.
IdentityMorphism Abstract base class for identity morphisms.
IndexMorphismMap Morphism map containing a morphism and an index (for type colimit).
LimitDenotator Limit denotator class.
LimitForm Limit form class.
ListDenotator List denotator class.
ListForm List form class.
ListMorphismMap Morphism map containing a list of morphisms (for limit and power types).
MathDiagram Math diagram class (vertexes are morphisms).
ModuleMorphismMap Morphism map containing a module morphism (for type simple).
Morphism Abstract base class for morphisms.
NameDenotator Special list denotator for representing names of denotators and forms.
NameEntry The unique respresention of names.
NameForm Special list form for names of forms and denotators.
PowerDenotator Power denotator class.
PowerForm Power form class.
ProperIdentityMorphism Morphism of an "object" that is not representable.
RepresentableIdentityMorphism Identity morphism representing a module "object".
SimpleDenotator Simple denotator class.
SimpleForm Simple form class.
 

Exception Summary
RubatoAddressException Exception thrown in cases of mismatched addresses.
RubatoFormException Exception thrown in cases of mismatched forms.
 

Package org.rubato.math.yoneda Description

This package provides the principal Rubato classes for forms and denotators.