symmetric monoidal (∞,1)-category of spectra
For $(A,d)$ a differential algebra, a differential ideal is an ideal $I \subset A$ in the underlying associative algebra $A$ which is preserved by the derivation $d$, in that $d(I) \subset I$.
The quotient algebra of a differential algebra by a differential ideal inherits the structure of a differential algebra.
See also