| Name | Description | Type | Package | Framework |
| HomFunctor | The HomFunctor class encapsulates the hom-bifunctor. | Class | JSci.maths.categories | JSCI |
| Hilb | The Hilb class encapsulates the category Hilb. | Class | JSci.maths.categories | JSCI |
| Functor | This interface defines a functor. | Interface | JSci.maths.categories | JSCI |
| FinSet | The FinSet class encapsulates the category FinSet. | Class | JSci.maths.categories | JSCI |
| Category .HomSet | Interface | JSci.maths.categories.Category | JSCI | |
| Category .Morphism | This interface defines a morphism in a category. | Interface | JSci.maths.categories.Category | JSCI |
| Category | This interface defines a category. | Interface | JSci.maths.categories | JSCI |
| Bifunctor | This interface defines a bifunctor. | Interface | JSci.maths.categories | JSCI |
| NaturalTransformation | This interface defines a natural transformation. | Interface | JSci.maths.categories | JSCI |
| Preorder | The Preorder class encapsulates preorders as categories. | Class | JSci.maths.categories | JSCI |
| Simplicial | The Simplicial class encapsulates the simplicial category. | Class | JSci.maths.categories | JSCI |
| UndefinedCompositionException | This exception occurs when trying to compose two morphisms whose composition is undefined. | Class | JSci.maths.categories | JSCI |