This idea shows up in essentially all scientific fields. It’s the idea of adjointness. Together with norm, they give you the idea of fixed points, (invariants, spectra, embeddings, braids etc).I'm
Lawvere's fixed point theorem is I think the best formulation of the idea