“…From the point of view of algebraic geometry over fields, monoid schemes can be seen as a direct generalization of toric geometry and Kato fans of logarithmic schemes; see [3,6,8,9,27] among others. The central position of monoid schemes within F 1 -geometry is confirmed by their numerous links to other areas of mathematics, such as Weyl groups as algebraic groups over F 1 [29,44], computational methods for toric geometry [7,8,14], a framework for tropical scheme theory [15], applications to representation theory [20,[40][41][42]51] and, last but not least, stable homotopy theory as K-theory over F 1 [3,10], a theme on which we dwell in this paper.…”