• remove categories which suggest she is American (e.g. "African-American mathematicians", "21st-century American Mathematicians") (she is British)
  • Add mathematics genealogy link
  • Add section for each group explaining construction and/or history
  • Needs a general tidy up
  • Add proof of theorem (from Ueno II or Stacks 01XF)

Split into sections

Background

edit

Career

edit

Student at Cambridge, PhD, fellowship, Whitehead Prize

Work

edit

Learn about some of his contributions to topos/category theory/logic, add them to the page