RATH - Relation Algebra Tools in Haskell

• Base library strictly Haskell 98 conformant
• More elegant multiparameter class interface also provided (using functional dependencies)
• Layered datatypes for
  • categories
  • allegories
  • distributive allegories
  • division allegories
  • Dedekind categories
  • relation algebras
• Constructing new structures (i.e., categories, allegories, ..., relation algebras) as
  • product structures
  • sub-structures
  • matrix structures
  • atom set structures
• Numerous example algebras supplied, e.g.:
  • standard relation algebras of sets and concrete relations, represented as Boolean matrix algebras or as atom set algebras
  • the non-representable McKenzie relation algebra
  • the Maddux relation algebra featuring an unsharp direct product
  • compass algebras
  • mereological relation algebras

A first account on this tool set is the report ``Exploring (Finite) Relation Algebras Using Tools Written in Haskell'' by Wolfram Kahl and Gunther Schmidt.

The source code can be retrieved as RATH-1.0.tar.gz.