Title: Graphs, hypergraphs, and properads Abstract: A categorical formalism for directed graphs is introduced, featuring natural notions of morphisms and subgraphs, and leading to an elementary description of the free-properad monad, first in terms of presheaves on elementary graphs, second in terms of hypergraphs.