Modifier and Type | Class and Description |
---|---|
class |
Preorder.Relation |
class |
Preorder.RelationSet |
Category.HomSet, Category.Morphism
Constructor and Description |
---|
Preorder(int n)
Constructs a preorder 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.
|
java.lang.Object |
initial() |
int |
ordinal()
Returns the ordinal that this category represents.
|
java.lang.Object |
terminal() |
public Category.Morphism identity(java.lang.Object a)
public java.lang.Object cardinality(java.lang.Object a)
cardinality
in interface Category
a
- an Integer.public Category.HomSet hom(java.lang.Object a, java.lang.Object b)
public java.lang.Object initial()
public java.lang.Object terminal()
public int ordinal()