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.
Last revised on October 15, 2017 at 11:55:26. See the history of this page for a list of all contributions to it.