A directed graph is a presheaf
Revision on November 1, 2012 at 17:43:21 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.