User:Bensculfor/Field with one element

To do list:
 * Add example (e.g. $SL_{2}(F_{1})$) 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