Presheaves as limits of representable functors? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T17:56:42Z http://mathoverflow.net/feeds/question/3165 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/3165/presheaves-as-limits-of-representable-functors Presheaves as limits of representable functors? Garlef Wegart 2009-10-28T23:11:34Z 2009-11-17T14:48:08Z <p>If i remember correctly, i read that given a presheaf P:C^op -> Set it is possible to describe it as a limit of representable presheaves. Could someone give a description of the construction together with a proof?</p> http://mathoverflow.net/questions/3165/presheaves-as-limits-of-representable-functors/3168#3168 Answer by Greg Stevenson for Presheaves as limits of representable functors? Greg Stevenson 2009-10-28T23:24:57Z 2009-10-28T23:24:57Z <p>This follows from the Yoneda lemma - probably my favourite way of thinking about this fact is via coends in the way described <a href="http://golem.ph.utexas.edu/category/2008/01/the_concept_of_a_space_of_stat.html#c014365" rel="nofollow"> here </a> by Todd Trimble, which I think makes it quite clear what is going on.</p> http://mathoverflow.net/questions/3165/presheaves-as-limits-of-representable-functors/3170#3170 Answer by Reid Barton for Presheaves as limits of representable functors? Reid Barton 2009-10-28T23:30:19Z 2009-10-28T23:35:30Z <p>You mean "colimit of representable presheaves", not limit. Any limits that C has are preserved by the Yoneda embedding. So if C is, say, a complete poset like &bull; &rarr; &bull;, so that it is small and has all limits, you won't be able to produce any non-representable presheaves by taking limits of representable ones.</p> <p>The way to write any presheaf as a colimit of representables is, like all things Yoneda-related, somewhat tautological, and should be worked out for oneself; but anyways it's explained to some extent at <a href="http://ncatlab.org/nlab/show/presheaf#properties_of_presheaves_4" rel="nofollow">this nlab page</a>. Rather than write out formulas, I usually think of the example of simplicial sets: every simplicial set X can be formed as a colimit of its simplices, i.e., a diagram of representables which is indexed on the "category of simplices of X", whose objects are pairs (n, x) where n is in the indexing category and x is an object of X<sub>n</sub>. The same works in any presheaf category.</p> http://mathoverflow.net/questions/3165/presheaves-as-limits-of-representable-functors/3173#3173 Answer by Urs Schreiber for Presheaves as limits of representable functors? Urs Schreiber 2009-10-29T00:08:01Z 2009-10-29T00:08:01Z <p>By the way, that desciption by Todd Trimble has meanwhile been prepared at <a href="http://ncatlab.org/nlab/show/co-Yoneda+lemma" rel="nofollow">nLab:co-Yoneda lemma</a> (this is what the question above is about) and <a href="http://ncatlab.org/nlab/show/Day+convolution" rel="nofollow">nLab:Day convolution</a> (for the more general statement).</p> http://mathoverflow.net/questions/3165/presheaves-as-limits-of-representable-functors/5796#5796 Answer by Shizhuo Zhang for Presheaves as limits of representable functors? Shizhuo Zhang 2009-11-17T07:42:13Z 2009-11-17T07:42:13Z <p>I think you mean any presheaf is colimit of representable presheaf. It follows from Yoneda Lemma. It is well known that category of presheaves is complete and cocomplete. So you can take limits and colimits. </p> <p>This property has some geometric intuition. Because we can take any presheaf as as a space(this view point was first proposed by Gabriel and developed by Grothendieck and revised in full generality by Kontsevich-Rosenberg). So this statement means that any "space" can be glued (in some sense)from affine space(affine space is defined as representable presheaf).</p> http://mathoverflow.net/questions/3165/presheaves-as-limits-of-representable-functors/5821#5821 Answer by G. Rodrigues for Presheaves as limits of representable functors? G. Rodrigues 2009-11-17T14:48:08Z 2009-11-17T14:48:08Z <p>It follows by the strong form of Yoneda lemma. If the base category $V$ is symmetric monoidal closed, complete and cocomplete, then any presheaf $F:A^{\ast}\to V$ has a left Kan extension along the Yoneda embedding. The coend formula for left Kan extensions then yields</p> <p>$Fa\cong \int^{b}A(b, a)\otimes Fb$</p> <p>Note that the theorem says that every presheaf is a colimit of representables in a <em>canonical</em> way, or that the wedge $w_{b}:A(b, a)\otimes Fb\to Fa$ is universal. Or that the Yoneda embedding is dense.</p>