@hackage / FiniteCategories

Finite categories and usual categorical constructions on them.

0.6.5.1

Dependents