A -graph is a directed graph equipped for each pair of vertices with an involution .
This is one way to think of undirected graphs.
The notion of -graph is to that of dagger-category as the notion of directed graph is to the ordinary notion of category.
???