jsci.maths.categories

Interface Category

All Known Implementing Classes:

FinSet, Hilb, Preorder, Simplicial

public interface Category

This interface defines a category.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	Category.HomSet This interface defines a hom-set.
static interface	Category.Morphism This interface defines a morphism in a category.

Method Summary

Modifier and Type	Method and Description
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.

cardinality

java.lang.Object cardinality(java.lang.Object a)

Returns the cardinality of an object. In general, this may not be an Integer.

hom

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

Returns a hom-set.