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