org.jscience.mathematics.algebraic.categories
Class FinSet

java.lang.Object
  extended by org.jscience.mathematics.algebraic.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
          DOCUMENT ME!
 class FinSet.FunctionSet
          DOCUMENT ME!
 
Nested classes/interfaces inherited from interface org.jscience.mathematics.algebraic.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
Parameters:
a - DOCUMENT ME!
Returns:
DOCUMENT ME!

cardinality

public java.lang.Object cardinality(java.lang.Object a)
Returns the cardinality of an object.

Specified by:
cardinality in interface Category
Parameters:
a - DOCUMENT ME!
Returns:
DOCUMENT ME!

hom

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

Specified by:
hom in interface Category
Parameters:
a - DOCUMENT ME!
b - DOCUMENT ME!
Returns:
DOCUMENT ME!