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.