The realization at the end of your post is what the author is trying to get people to reach about software.

The category theory for programmers crowd argue that categorical diagrams (annotated graphs) are the right way to reason about software to gain insights — and the rest is describing the equivalence between functions in a type theory and maps in a category.

Your mental model of directed graphs is a functional model.