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