JSci.maths.categories
Class FinSet

java.lang.Object
  JSci.maths.categories.FinSet

All Implemented Interfaces:

Category

public class FinSet
extends java.lang.Object
implements Category

The FinSet class encapsulates the category FinSet.

Nested Class Summary

class	FinSet.Function
class	FinSet.FunctionSet

Nested classes/interfaces inherited from interface JSci.maths.categories.Category

Category.HomSet, Category.Morphism

Constructor Summary

FinSet()
Constructs a FinSet 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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FinSet

public FinSet()

Constructs a FinSet 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

cardinality

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

Returns the cardinality of an object.

Specified by:

cardinality in interface Category

hom

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

Returns a hom-set.

Specified by:

hom in interface Category