Are these coordinates the aspects of the core abstractions each object/theorem relies on? With clusters showing how many object/theorems are rooted in the same aspects, or maybe which aspects are not depended on and may change?
Maybe aspect should be a different word I didn't pick up on here.