Modifier and Type | Class and Description |
---|---|
class |
FinSet.Function |
class |
FinSet.FunctionSet |
Category.HomSet, Category.Morphism
Constructor and Description |
---|
FinSet()
Constructs a FinSet 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
public Category.HomSet hom(java.lang.Object a, java.lang.Object b)