FiniteCategoriesGraphViz