public interface Category
Modifier and Type | Interface and Description |
---|---|
static interface |
Category.HomSet
This interface defines a hom-set.
|
static interface |
Category.Morphism
This interface defines a morphism in a 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.
|
Category.Morphism identity(java.lang.Object a)
java.lang.Object cardinality(java.lang.Object a)
Category.HomSet hom(java.lang.Object a, java.lang.Object b)