org.jscience.mathematics.algebraic.categories
Interface Category

All Known Implementing Classes:
FinSet, Hilb, Preorder, Simplicial

public interface Category

This interface defines a category.


Nested Class Summary
static interface Category.HomSet
          This interface defines a hom-set.
static interface Category.Morphism
          This interface defines a morphism in a 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.
 

Method Detail

identity

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

Parameters:
a - DOCUMENT ME!
Returns:
DOCUMENT ME!

cardinality

java.lang.Object cardinality(java.lang.Object a)
Returns the cardinality of an object. In general, this may not be an Integer.

Parameters:
a - DOCUMENT ME!
Returns:
DOCUMENT ME!

hom

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

Parameters:
a - DOCUMENT ME!
b - DOCUMENT ME!
Returns:
DOCUMENT ME!