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