| Package | Description |
|---|---|
| JSci.maths.categories |
| Class and Description |
|---|
| Bifunctor
This interface defines a bifunctor.
|
| Category
This interface defines a category.
|
| Category.HomSet
This interface defines a hom-set.
|
| Category.Morphism
This interface defines a morphism in a category.
|
| FinSet.Function |
| Functor
This interface defines a functor.
|
| NaturalTransformation
This interface defines a natural transformation.
|
| Preorder
The Preorder class encapsulates preorders as categories.
|
| Preorder.Relation |
| Simplicial.IncreasingMap |
| UndefinedCompositionException
This exception occurs when trying to compose two morphisms
whose composition is undefined.
|