Free Object - Definition

Definition

Free objects are the direct generalization to categories of the notion of basis in a vector space. A linear function u : E1 → E2 between vector spaces is entirely determined by its values on a basis of the vector space E1. Conversely, a function u : E1 → E2 defined on a basis of E1 can be uniquely extended to a linear function. The following definition translates this to any category.

Let (C,F) be a concrete category (i.e. F: C → Set is a faithful functor), let X be a set (called basis), AC an object, and i: X → F(A) a map between sets (called canonical injection). We say that A is the free object on X (with respect to i) if and only if they satisfy this universal property:

for any object B and any map between sets f: X → F(B), there exists a unique morphism such that . That is, the following diagram commutes:

This way the free functor that builds the free object A from the set X becomes left adjoint to the forgetful functor.

Read more about this topic:  Free Object

Famous quotes containing the word definition:

    One definition of man is “an intelligence served by organs.”
    Ralph Waldo Emerson (1803–1882)

    It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.”
    Jane Adams (20th century)

    ... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.
    George Eliot [Mary Ann (or Marian)