User:Bensculfor/Field with one element

To do list:

• Add example (e.g. SL₂(F₁)) 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 F₁-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