nLab
free object

Contents

Definition

Let U:CDU: C\to D be a forgetful functor and xDx\in D an object of the category DD.

A free CC-object on xx with respect to UU is an object of CC that satisfies the universal property that F(x)F(x) would have, if FF were a left adjoint to UU (the corresponding free functor) (the free construction on xx).

If UU actually has a left adjoint, then F(x)F(x) is a free CC-object on xx for every xx, and conversely if there exists a free CC-object on every xDx\in D then UU has a left adjoint. But individual free objects can exist without the whole left adjoint functor existing. In general, we have a “partially defined adjoint”, or JJ-relative adjoint where JJ is the inclusion of a full subcategory (on those objects admitting free objects).

More precisely: a free CC-object on xx consists of an object yCy\in C together with a morphism η x:xUy\eta_x \colon x\to U y in DD such that for any other zCz\in C and morphism f:xUzf\colon x\to U z in DD, there exists a unique g:yzg\colon y\to z in CC with U(g)η x=fU(g) \circ \eta_x = f.

In other words, it is an initial object of the comma category (x/U)(x/U). A free CC-object on xx is also sometimes called a universal arrow from xx to the functor UU. It can also be identified with a semi-final lift of an empty UU-structured sink.

Similarly, a cofree object (or fascist object) is given by a cofree functor.

Examples

For more examples see at free construction.

A general way to construct free objects is with a transfinite construction of free algebras (in set-theoretic foundations), or with an inductive type or higher inductive type (in type-theoretic foundations).

Revised on December 6, 2012 08:25:43 by Mike Shulman (192.16.204.218)