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:
“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)
“Whoever has a keen eye for profits, is blind in relation to his craft.”
—Sophocles (497–406/5 B.C.)
“I had rather believe all the fables in the Legend, and the Talmud, and the Alcoran, than that this universal frame is without a Mind; and, therefore, God never wrought miracle to convince atheism, because his ordinary works convince it.”
—Francis Bacon (1561–1626)