nLab
initial algebra of a presentable (infinity,1)-monad

Context

Higher algebra

Induction

Contents

Idea

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.

References

Last revised on October 15, 2017 at 07:55:26. See the history of this page for a list of all contributions to it.