[To be merged with spectral group scheme.]
A commutative group -scheme over is an (∞,1)-functor
This is (adapted from) definition 3.1 of
warning careful, this needs a bit more attention. The general idea is obvious, but the details require care. One problem is that in the Elliptic Survey “derived scheme” really refers to Spectral Schemes and not to the derived schemes discussed in Structured Spaces.
An important special case is that of a derived elliptic curve.