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 January 13, 2014 04:03:29 by David Corfield (31.185.129.212)