Assertion: graph's edge | /r/HasAspect | their own identity
Facets:
Source sentences:
text: In category theory a small category can be defined as a multidigraph (with edges having their own identity) equipped with an associative composition law and a distinguished self-loop at each vertex serving as the left and right identity for composition.