JSci.maths.categories
Class Hilb

java.lang.Object
  extended by JSci.maths.categories.Hilb
All Implemented Interfaces:
Category

public class Hilb
extends java.lang.Object
implements Category

The Hilb class encapsulates the category Hilb.


Nested Class Summary
 class Hilb.LinearMap
           
 class Hilb.OperatorSpace
           
 
Nested classes/interfaces inherited from interface JSci.maths.categories.Category
Category.HomSet, Category.Morphism
 
Constructor Summary
Hilb()
          Constructs a Hilb category.
 
Method Summary
 java.lang.Object cardinality(java.lang.Object a)
          Returns the cardinality of an object.
 Category.HomSet hom(java.lang.Object a, java.lang.Object b)
          Returns a hom-set.
 Category.Morphism identity(java.lang.Object a)
          Returns the identity morphism for an object.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Hilb

public Hilb()
Constructs a Hilb category.

Method Detail

identity

public Category.Morphism identity(java.lang.Object a)
Returns the identity morphism for an object.

Specified by:
identity in interface Category
Parameters:
a - a HilbertSpace.

cardinality

public java.lang.Object cardinality(java.lang.Object a)
Returns the cardinality of an object.

Specified by:
cardinality in interface Category
Parameters:
a - a HilbertSpace.

hom

public Category.HomSet hom(java.lang.Object a,
                           java.lang.Object b)
Returns a hom-set.

Specified by:
hom in interface Category
Parameters:
a - a HilbertSpace.
b - a HilbertSpace.
Returns:
a HilbertSpace.