graph theory

graph

vertex, edge

omega-graph, hypergraph

quiver, n-quiver

reflexive, directed

relation

reflexive directed graph + unital associative composition = category

ribbon graph

A graph is reflexive if for each vertex $v$ there is a (specified) edge $v \to v$.