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.
|