Assertion: graph's vertex | /r/CapableOf | serve as left and right identity
Facets:
value: for composition
type: PURPOSE
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.