[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2en\/wiki42\/representable-functor-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2en\/wiki42\/representable-functor-wikipedia\/","headline":"Representable functor – Wikipedia","name":"Representable functor – Wikipedia","description":"before-content-x4 In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category","datePublished":"2018-01-27","dateModified":"2018-01-27","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2en\/wiki42\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2en\/wiki42\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/8ead207959347df949688f763e8ab8cf9aa705cb","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/8ead207959347df949688f763e8ab8cf9aa705cb","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2en\/wiki42\/representable-functor-wikipedia\/","wordCount":3404,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i.e. sets and functions) allowing one to utilize, as much as possible, knowledge about the category of sets in other settings.        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4From another point of view, representable functors for a category C are the functors given with C . Their theory is a vast generalisation of upper sets in posets, and of Cayley’s theorem in group theory.  Table of Contents       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Definition [ edit ] Universal elements [ edit ] Examples [ edit ] Properties [ edit ] Uniqueness [ edit ] Preservation of limits [ edit ] Left adjoint [ edit ] Relation to universal morphisms and adjoints [ edit ] See also [ edit ] References [ edit ] Definition [ edit ] Let C be a locally small category and let Set be the category of sets. For each object A of C Let Hom ( A ,\u2013) be the hom functor that maps object X to the set Hom( A , X ). A functor F : C \u2192 Set is said to be representable if it is naturally isomorphic to Hom( A ,\u2013) for some object A of C . A representation of F is a pair ( A , \u03a6) where \u03a6: Hom ( A , -) \u2192 F is a natural isomorphism. A confused functor G from C to Set is the same thing as a functor G : C on \u2192 Set and is commonly called a presheaf. A presheaf is  representable when it is naturally isomorphic to the contravariant hom-functor Hom(\u2013, A ) for some object A of C .        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Universal elements [ edit ] According to Yoneda’s lemma, natural transformations from Hom( A ,\u2013) to F are in one-to-one correspondence with the elements of F ( A ). Given a natural transformation \u03a6\u00a0: Hom( A , -) \u2192 F the corresponding element in \u2208 F ( A ) is given by in = Phi A( idA) . {displaystyle u = PHI _ {a} (mathrm {ID} _ _ {a}).,} Conversely, given any element in \u2208 F ( A ) we may define a natural transformation \u03a6\u00a0: Hom( A , -) \u2192 F via Phi X( f ) = ( F f ) ( in ) {Displaystyle Phi _ {x} (f) = (ff) (u),} where f is an element of Hom( A , X ). In order to get a representation of F we want to know when the natural transformation induced by in is an isomorphism. This leads to the following definition: A universal element of a functor F : C \u2192 Set is a pair ( A , in ) consisting of an object A of C and an element in \u2208 F ( A ) such that for every pair ( X , in ) consisting of an object X of C and an element in \u2208 F ( X ) there exists a unique morphism f : A \u2192 X such that ( Ff ) ( in ) = in . A universal element may be viewed as a universal morphism from the one-point set {\u2022} to the functor F or as an initial object in the category of elements of F . The natural transformation induced by an element in \u2208 F ( A ) is an isomorphism if and only if ( A , in ) is a universal element of F . We therefore conclude that representations of F are in one-to-one correspondence with universal elements of F . For this reason, it is common to refer to universal elements ( A , in ) as representations. Examples [ edit ] Consider the opposite functor P : Set \u2192 Set which maps each set to its power set and each function to its inverse image map. To represent this functor we need a pair ( A , in ) where A is a set and in is a subset of A , i.e. an element of P ( A ), such that for all sets X , the hom-set Hom( X , A ) is isomorphic to P ( X ) via \u03c6 X ( f ) = ( Pf ) in = f \u22121 ( in ). Take A = {0,1} and in = {1}. Given a subset S \u2286 X the corresponding function from X to A is the characteristic function of S . Forgetful functors to Set are very often representable. In particular, a forgetful functor is represented by ( A , in ) whenever A is a free object over a singleton set with generator in . A group G can be considered a category (even a groupoid) with one object which we denote by \u2022. A functor from G to Set then corresponds to a G -Set. The Unique Horn-Functor Horn (\u2022, -) from G to Set corresponds to the canonical G -set G with the action of left multiplication. Standard arguments from group theory show that a functor from G to Set is representable if and only if the corresponding G -set is simply transitive (i.e. a G -torsor or heap). Choosing a representation amounts to choosing an identity for the heap. Let C be the category of CW-complexes with morphisms given by homotopy classes of continuous functions. For each natural number n There is a confused functor H n : C \u2192 Ab which assigns each CW-complex its n th cohomology group (with integer coefficients). Composing this with the forgetful functor we have a contravariant functor from C to Set . Brown’s representability theorem in algebraic topology says that this functor is represented by a CW-complex K ( WITH , n ) called an Eilenberg\u2013MacLane space. Let R be a commutative ring with identity, and let R – Against be the category of R -modules. If M and N are unitary modules over R , there is a covariant functor B : R – Against \u2192 Set which assigns to each R -module P the set of R -bilinear maps M \u00d7 N \u2192 P and to each R -module homomorphism f : P \u2192 Q the function B ( f ): B ( P ) \u2192 B ( Q ) which sends each bilinear map g : M \u00d7 N \u2192 P to the bilinear map f \u2218 g : M \u00d7 N \u2192 Q . The functor B is represented by the R -module M \u2297 R N . [first] Properties [ edit ] Uniqueness [ edit ] Representations of functors are unique up to a unique isomorphism. That is, if ( A first ,PHI first ) and ( A 2 ,PHI 2 ) represent the same functor, then there exists a unique isomorphism \u03c6\u00a0: A first \u2192 A 2 such that Phi 1\u22121\u2218 Phi 2= H O m ( Phi , – ) {displaystyle PHI _ {1^{-1} CIRC PHI _ _ {2} = Mathrm {Hom} (varphi,-)} as natural isomorphisms from Hom( A 2 . -) to Hom ( A first ,\u2013). This fact follows easily from Yoneda’s lemma. Stated in terms of universal elements: if ( A first , in first ) and ( A 2 , in 2 ) represent the same functor, then there exists a unique isomorphism \u03c6\u00a0: A first \u2192 A 2 such that ( F Phi ) in 1= in 2. {displaystyle (fvarphi) u_ {1} = U_ {2}.} Preservation of limits [ edit ] Representable functors are naturally isomorphic to Hom functors and therefore share their properties. In particular, (covariant) representable functors preserve all limits. It follows that any functor which fails to preserve some limit is not representable. Contravariant representable functors take colimits to limits. Left adjoint [ edit ] Any functor K : C \u2192 Set with a left adjoint F : Set \u2192 C is represented by ( FX , the X (\u2022)) where X = {\u2022} is a singleton set and \u03b7 is the unit of the adjunction. Conversely, if K is represented by a pair ( A , in ) and all small copowers of A exist in C then K has a left adjoint F which sends each set I to the I th copower of A . Therefore, if C is a category with all small copowers, a functor K : C \u2192 Set is representable if and only if it has a left adjoint. Relation to universal morphisms and adjoints [ edit ] The categorical notions of universal morphisms and adjoint functors can both be expressed using representable functors. Let G : D \u2192 C be a functor and let X be an object of C . Then ( A ,\u03c6) is a universal morphism from X to G if and only if ( A ,\u03c6) is a representation of the functor Hom C ( X , G \u2013) from D to Set . It follows that G has a left-adjoint F if and only if Hom C ( X , G \u2013) is representable for all X in C . The natural isomorphism \u03a6 X : Him D ( FX , -) \u2192 him C ( X , G \u2013) yields the adjointness; that is Phi X,Y: HomD( F X , AND ) \u2192 HomC( X , G AND ) {DisplaySyllllllle Phi _ ic {X, y} colon Mathrm {HOML {mathcal {d}}}}}}}}} to mathcal}}. is a bijection for all X and AND . The dual statements are also true. Let F : C \u2192 D be a functor and let AND be an object of D . Then ( A ,\u03c6) is a universal morphism from F to AND if and only if ( A ,\u03c6) is a representation of the functor Hom D ( F -, AND ) from C to Set . It follows that F has a right-adjoint G if and only if Hom D ( F -, AND ) is representable for all AND in D . [2] See also [ edit ] References [ edit ] ^  Hungerford, Thomas. Algebra . Springr-publisher. p. 470. ISBN 3-540-90518-9 .  ^  Nourani, Cyrus. A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos . CRC Press. p.\u00a028. ISBN\u00a0 1482231506 .           (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2en\/wiki42\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2en\/wiki42\/representable-functor-wikipedia\/#breadcrumbitem","name":"Representable functor – Wikipedia"}}]}]