En teoría de categorías, el grafo nulo es el objeto inicial de la categoría de los grafos.