ERC-Project "The Roots of Mathematical Structuralism"