jsci.maths.categories
Class FinSet

java.lang.Object
  extended by 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


jHepWork 3.1 ©