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

Revised on October 15, 2017 07:55:26 by Mike Shulman (76.167.222.204)