Has some structural similarities to Category Theory, where you abstract away the details of the individual objects in the category, and now only about the way they interact with each other.