Jeff Smith's Theory of Ideals
In 2006, Jeff Smith proposed a theory of ideals for rings in a triangulated symmetric monoidal category such as ring spectra or DGAs. We show that his definition is equivalent to a `central' $R$-$R$-bimodule map $ I \to R$.