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.