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→v.