Relation To Universal Morphisms and Adjoints
The categorical notions of universal morphisms and adjoint functors can both be expressed using representable functors.
Let G : D → C be a functor and let X be an object of C. Then (A,φ) is a universal morphism from X to G if and only if (A,φ) is a representation of the functor HomC(X,G–) from D to Set. It follows that G has a left-adjoint F if and only if HomC(X,G–) is representable for all X in C. The natural isomorphism ΦX : HomD(FX,–) → HomC(X,G–) yields the adjointness; that is
is a bijection for all X and Y.
The dual statements are also true. Let F : C → D be a functor and let Y be an object of D. Then (A,φ) is a universal morphism from F to Y if and only if (A,φ) is a representation of the functor HomD(F–,Y) from C to Set. It follows that F has a right-adjoint G if and only if HomD(F–,Y) is representable for all Y in D.
Read more about this topic: Representable Functor
Famous quotes containing the words relation to, relation and/or universal:
“Whoever has a keen eye for profits, is blind in relation to his craft.”
—Sophocles (497–406/5 B.C.)
“There is the falsely mystical view of art that assumes a kind of supernatural inspiration, a possession by universal forces unrelated to questions of power and privilege or the artist’s relation to bread and blood. In this view, the channel of art can only become clogged and misdirected by the artist’s concern with merely temporary and local disturbances. The song is higher than the struggle.”
—Adrienne Rich (b. 1929)
“Commercial jazz, soap opera, pulp fiction, comic strips, the movies set the images, mannerisms, standards, and aims of the urban masses. In one way or another, everyone is equal before these cultural machines; like technology itself, the mass media are nearly universal in their incidence and appeal. They are a kind of common denominator, a kind of scheme for pre-scheduled, mass emotions.”
—C. Wright Mills (1916–62)