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