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.
Revised on July 9, 2010 23:06:13
by Eric Forgy