Eugenia Cheng, Pure Mathematics