jsci.maths.categories
Class FinSet

java.lang.Object
  jsci.maths.categories.FinSet

All Implemented Interfaces:

Category

public class FinSet
extends 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

Object	cardinality(Object a) Returns the cardinality of an object.
Category.HomSet	hom(Object a, Object b) Returns a hom-set.
Category.Morphism	identity(Object a) Returns the identity morphism for an object.

Methods inherited from class java.lang.Object

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

Constructor Detail

FinSet

public FinSet()

Constructs a FinSet category.

Method Detail

identity

public Category.Morphism identity(Object a)

Returns the identity morphism for an object.

Specified by:

identity in interface Category

cardinality

public Object cardinality(Object a)

Returns the cardinality of an object.

Specified by:

cardinality in interface Category

hom

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

Returns a hom-set.

Specified by:

hom in interface Category