Correspondence in mathematics