symmetric monoidal (∞,1)-category of spectra
An initial object in an (∞,1)-category of ∞-algebras over an (∞,1)-monad which is presentable.
These are thought to be the categorical semantics of higher inductive types.
On 0-truncated objects the notion restricts to that of an initial algebra of an endofunctor.