org.jscience.mathematics.algebraic.categories
Class Simplicial

java.lang.Object
  extended by org.jscience.mathematics.algebraic.categories.Simplicial
All Implemented Interfaces:
Category

public final class Simplicial
extends java.lang.Object
implements Category

The Simplicial class encapsulates the simplicial category.


Nested Class Summary
 class Simplicial.Addition
          DOCUMENT ME!
 class Simplicial.DegeneracyMap
          DOCUMENT ME!
 class Simplicial.FaceMap
          DOCUMENT ME!
 class Simplicial.FunctionSet
          DOCUMENT ME!
 class Simplicial.IncreasingMap
          DOCUMENT ME!
 
Nested classes/interfaces inherited from interface org.jscience.mathematics.algebraic.categories.Category
Category.HomSet, Category.Morphism
 
Field Summary
 Bifunctor ADDITION
          DOCUMENT ME!
 
Constructor Summary
Simplicial()
          Constructs a simplicial category.
 
Method Summary
 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()
          DOCUMENT ME!
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ADDITION

public final Bifunctor ADDITION
DOCUMENT ME!

Constructor Detail

Simplicial

public Simplicial()
Constructs a simplicial category.

Method Detail

identity

public Category.Morphism identity(java.lang.Object a)
Returns the identity morphism for an object.

Specified by:
identity in interface Category
Parameters:
a - DOCUMENT ME!
Returns:
DOCUMENT ME!

cardinality

public java.lang.Object cardinality(java.lang.Object a)
Returns the cardinality of an object.

Specified by:
cardinality in interface Category
Parameters:
a - DOCUMENT ME!
Returns:
DOCUMENT ME!

hom

public Category.HomSet hom(java.lang.Object a,
                           java.lang.Object b)
Returns a hom-set.

Specified by:
hom in interface Category
Parameters:
a - DOCUMENT ME!
b - DOCUMENT ME!
Returns:
DOCUMENT ME!

terminal

public java.lang.Object terminal()
DOCUMENT ME!

Returns:
DOCUMENT ME!