Eli Tyre comments on Resource for the mappings between areas of math and their applications?