Universal Property - Properties - Relation To Adjoint Functors

Relation To Adjoint Functors

Suppose (A1, φ1) is an initial morphism from X1 to U and (A2, φ2) is an initial morphism from X2 to U. By the initial property, given any morphism h: X1X2 there exists a unique morphism g: A1A2 such that the following diagram commutes:

If every object Xi of C admits a initial morphism to U, then the assignment and defines a functor V from C to D. The maps φi then define a natural transformation from 1C (the identity functor on C) to UV. The functors (V, U) are then a pair of adjoint functors, with V left-adjoint to U and U right-adjoint to V.

Similar statements apply to the dual situation of terminal morphisms from U. If such morphisms exist for every X in C one obtains a functor V: CD which is right-adjoint to U (so U is left-adjoint to V).

Indeed, all pairs of adjoint functors arise from universal constructions in this manner. Let F and G be a pair of adjoint functors with unit η and co-unit ε (see the article on adjoint functors for the definitions). Then we have a universal morphism for each object in C and D:

  • For each object X in C, (F(X), ηX) is an initial morphism from X to G. That is, for all f: XG(Y) there exists a unique g: F(X) → Y for which the following diagrams commute.
  • For each object Y in D, (G(Y), εY) is a terminal morphism from F to Y. That is, for all g: F(X) → Y there exists a unique f: XG(Y) for which the following diagrams commute.

Universal constructions are more general than adjoint functor pairs: a universal construction is like an optimization problem; it gives rise to an adjoint pair if and only if this problem has a solution for every object of C (equivalently, every object of D).

Read more about this topic:  Universal Property, Properties

Famous quotes containing the words relation to and/or relation:

    We must get back into relation, vivid and nourishing relation to the cosmos and the universe. The way is through daily ritual, and is an affair of the individual and the household, a ritual of dawn and noon and sunset, the ritual of the kindling fire and pouring water, the ritual of the first breath, and the last.
    —D.H. (David Herbert)

    There is undoubtedly something religious about it: everyone believes that they are special, that they are chosen, that they have a special relation with fate. Here is the test: you turn over card after card to see in which way that is true. If you can defy the odds, you may be saved. And when you are cleaned out, the last penny gone, you are enlightened at last, free perhaps, exhilarated like an ascetic by the falling away of the material world.
    Andrei Codrescu (b. 1947)