Definition
Let be a category with coproducts.
Let be an endofunctors.
Let be an object.
Say is the free -algebra on . Specifically, it is the initial algebra over the endofunctor .
Let be a category with coproducts.
Let be an endofunctors.
Let be an object.
Say is the free -algebra on . Specifically, it is the initial algebra over the endofunctor .