Modifier and Type | Class and Description |
---|---|
class |
Hilb.LinearMap |
class |
Hilb.OperatorSpace |
Category.HomSet, Category.Morphism
Constructor and Description |
---|
Hilb()
Constructs a Hilb category.
|
Modifier and Type | Method and Description |
---|---|
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.
|
public Category.Morphism identity(java.lang.Object a)
public java.lang.Object cardinality(java.lang.Object a)
cardinality
in interface Category
a
- a HilbertSpace.public Category.HomSet hom(java.lang.Object a, java.lang.Object b)