jsci.maths.categories
Class Simplicial
java.lang.Object
jsci.maths.categories.Simplicial
- All Implemented Interfaces:
- Category
public final class Simplicial
- extends Object
- implements Category
The Simplicial class encapsulates the simplicial category.
Constructor Summary |
Simplicial()
Constructs a simplicial category. |
ADDITION
public final Bifunctor ADDITION
Simplicial
public Simplicial()
- Constructs a simplicial category.
identity
public Category.Morphism identity(Object a)
- Returns the identity morphism for an object.
- Specified by:
identity
in interface Category
cardinality
public Object cardinality(Object a)
- Returns the cardinality of an object.
- Specified by:
cardinality
in interface Category
hom
public Category.HomSet hom(Object a,
Object b)
- Returns a hom-set.
- Specified by:
hom
in interface Category
terminal
public Object terminal()
jHepWork 3.1 ©