F

FiniteCategories

A Haskell package for constructing finite categories and usual constructions on them.