To do list:
- Add example (e.g. SL2(F1)) in monoid schemes
- Rearrange article to avoid "computations" section—possibly put in "motivations"
- Add "buildings" subsection to "motivations"
- Expand on Arakelov geometry subsection in "motivations" (difficult given current level of knowledge)
- Add section for "other theories of F1-geometry", with Soulé varieties, Connes–Consani schemes, blue schemes (all of the previous can be moved from the "history" section, with some additions, replaced with a sentence each about the timeline and specific contribution to the theory)
- Add subsection to "Monoid schemes" about equivalent theories—Toën–Vaquié schemes and Kato fans