| Interface | 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.
|
| Functor |
This interface defines a functor.
|
| NaturalTransformation |
This interface defines a natural transformation.
|
| Class | Description |
|---|---|
| FinSet |
The FinSet class encapsulates the category FinSet.
|
| Hilb |
The Hilb class encapsulates the category Hilb.
|
| HomFunctor |
The HomFunctor class encapsulates the hom-bifunctor.
|
| Preorder |
The Preorder class encapsulates preorders as categories.
|
| Simplicial |
The Simplicial class encapsulates the simplicial category.
|
| Exception | Description |
|---|---|
| UndefinedCompositionException |
This exception occurs when trying to compose two morphisms
whose composition is undefined.
|