JSci.maths.categories
Interfaces 
Bifunctor
Category
Category.HomSet
Category.Morphism
Functor
NaturalTransformation
Classes 
FinSet
Hilb
HomFunctor
Preorder
Simplicial
Exceptions 
UndefinedCompositionException