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