Package JSci.maths.categories

Interface Summary

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 Summary

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 Summary

UndefinedCompositionException

This exception occurs when trying to compose two morphisms whose composition is undefined.