org.jscience.mathematics.algebraic.categories
Class Simplicial

java.lang.Object
  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!