empty graph

The *empty graph* is the graph with empty set of vertices and empty set of edges.

The empty graph is the initial object in any reasonable category of graphs (such as a category of simple graphs).

The free category on the empty graph is the empty category.

Created on October 4, 2019 at 04:42:41. See the history of this page for a list of all contributions to it.