Cartesian closed category
Building a project graph is a lot like a Cartesian closed category
Or maybe I mean a preset category