Category Theory might be a good fit for this. There’s even a category of morphisms (relationships). Perhaps I’m misunderstanding your comment.
Yes. The book Thinking about mathematics by Stewart Shapiro covers it in chapter 10 and calls it Structuralism.
https://en.wikipedia.org/wiki/Structuralism_(philosophy_of_m...
Every new discovery started with a question and letting go of some assertions.