FiniteCategories-0.2.0.0: Finite categories and usual categorical constructions on them.