JSci.maths.categories
Class Hilb

java.lang.Object
  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 inherited from class 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.