Categorical graphs 3.2.1