The "traditional" approach to the so-called "field with one element" $\mathbb{F}_{1}$ is by using monoids, or, to put it in another way, by forgetting the additive structure of rings. In Deitmar's approach to the subject, $\mathbb{F}_{1}$ is declared to be the trivial monoid $\{1\}$. Furthermore, $\mathbb{F}_{1}$-modules (or vector spaces, since we are calling $\mathbb{F}_{1}$ a "field" after all, although it's not really a field) are pointed sets, and $\mathbb{F}_{1}$-algebras are commutative monoids. The motivations for these ideas may predate Deitmar's work, and these ideas may also be found in this unpublished work by Kapranov and Smirnov.

Deitmar's approach is kind of a "template" for later approaches to the field with one element, such as the one by Toen and Vaquie. However, one approach that is different is the one by Borger. In this approach, $\mathbb{F}_{1}$-algebras are lambda rings, which are rings together with Frobenius lifts. The idea is that the extra structure provided by the Frobenius lifts serves as descent data to $\mathbb{F}_{1}$, while the forgetful functor that forgets that extra structure is the base change to $\mathbb{Z}$, i.e. it is the functor $-\otimes_{\mathbb{F}_{1}}\mathbb{Z}$.

In other words, the $\mathbb{F}_{1}$-algebras have less structure than rings ($\mathbb{Z}$-algebras) in Deitmar's approach, while they have more structure in Borger's approach. But it is often said that the two are related; in fact the nLab article on the field with one element claims that Borger's approach subsumes many aspects of previous approaches. For instance, in Lieven Le Bruyn's paper, Absolute Geometry and the Habiro Topology, it is shown that in Borger's approach one can arrive at the idea of Soule (also apparently going back to Kapranov and Smirnov) that

$\mathbb{F}_{1^{n}}\otimes_{\mathbb{F}_{1}}\mathbb{Z}=\mathbb{Z}[\mu_{n}]$.

In what other ways is Borger's approach related to these other approaches? With ideas similar to lambda rings apparently finding their way into algebraic topology and homotopy theory (e.g. Adams Operations in Cohomotopy by Guillot and Power Operations and Absolute Geometry by Morava and Santhanam), do we have an analogue of Toen and Vaquie's "schemes over $\mathbb{S}$" and related homotopy-theoretic constructions? What about Connes and Consani's "arithmetic site?" Can we obtain analogous constructions but with lambda rings instead of commutative monoids playing the role of $\mathbb{F}_{1}$-algebras?