An implementation of concepts and constructions from category theory in the functional programming language Standard ML.

Deals in an abstract way with mathematical structures and relationships between them. A category consists of a class of objects, a class of morphisms (structure-preserving mappings between structures) and a binary operation (composition of morphisms).