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