JSci.maths.categories
Interface Category

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

public interface Category

This interface defines a category.

PlanetMath references:
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

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


cardinality

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


hom

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