Modifier and Type | Class and Description |
---|---|
class |
Simplicial.Addition |
class |
Simplicial.DegeneracyMap |
class |
Simplicial.FaceMap |
class |
Simplicial.FunctionSet |
class |
Simplicial.IncreasingMap |
Category.HomSet, Category.Morphism
Constructor and Description |
---|
Simplicial()
Constructs a simplicial 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 |
terminal() |
public final Bifunctor ADDITION
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)
public java.lang.Object terminal()