Is every set a filtered colimit of finite sets?On colim $Hom_{A-alg}(B, C_i)$Why is the colimit over this...

Map list to bin numbers

Lied on resume at previous job

Why is my log file so massive? 22gb. I am running log backups

Can I find out the caloric content of bread by dehydrating it?

I’m planning on buying a laser printer but concerned about the life cycle of toner in the machine

Are objects structures and/or vice versa?

Crop image to path created in TikZ?

Why do we use polarized capacitors?

If a centaur druid Wild Shapes into a Giant Elk, do their Charge features stack?

Is "plugging out" electronic devices an American expression?

Why was the "bread communication" in the arena of Catching Fire left out in the movie?

When blogging recipes, how can I support both readers who want the narrative/journey and ones who want the printer-friendly recipe?

Extreme, but not acceptable situation and I can't start the work tomorrow morning

What do the Banks children have against barley water?

How to answer pointed "are you quitting" questioning when I don't want them to suspect

Information to fellow intern about hiring?

Could Giant Ground Sloths have been a good pack animal for the ancient Mayans?

Does the average primeness of natural numbers tend to zero?

Is it wise to hold on to stock that has plummeted and then stabilized?

What causes the sudden spool-up sound from an F-16 when enabling afterburner?

"listening to me about as much as you're listening to this pole here"

What are the advantages and disadvantages of running one shots compared to campaigns?

How to make payment on the internet without leaving a money trail?

Calculate Levenshtein distance between two strings in Python



Is every set a filtered colimit of finite sets?


On colim $Hom_{A-alg}(B, C_i)$Why is the colimit over this filtered index category the object $F(i_0)$?A filtered poset and a filtered diagram (category)The colimit of all finite-dimensional vector spacesWhy do finite limits commute with filtered colimits in the category of abelian groups?Colimit of collection of finite setsExpressing Representation of a Colimit as a LimitFiltered vs Directed colimitsNot-quite-preservation of not-quite-filtered colimitsAbout a specific step in a proof of the fact that filtered colimits and finite limits commute in $mathbf{Set}$













2












$begingroup$


Is the following statement correct in the category of sets?




Let $X$ be any set. Then there exists a filtered small category $I$ and a functor $F:Ito mathrm{Set}$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrm{colim}_{iin I} F(i) .
$$




Are there references on results of this type in the literature?






reference-request category-theory limits-colimits







share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    One way to generalize this is the notion of a locally finitely presentable category.
    $endgroup$
    – Derek Elkins
    17 hours ago
















2












$begingroup$


Is the following statement correct in the category of sets?




Let $X$ be any set. Then there exists a filtered small category $I$ and a functor $F:Ito mathrm{Set}$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrm{colim}_{iin I} F(i) .
$$




Are there references on results of this type in the literature?






reference-request category-theory limits-colimits







share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    One way to generalize this is the notion of a locally finitely presentable category.
    $endgroup$
    – Derek Elkins
    17 hours ago














2












2








2





$begingroup$


Is the following statement correct in the category of sets?




Let $X$ be any set. Then there exists a filtered small category $I$ and a functor $F:Ito mathrm{Set}$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrm{colim}_{iin I} F(i) .
$$




Are there references on results of this type in the literature?






reference-request category-theory limits-colimits







share|cite|improve this question











$endgroup$




Is the following statement correct in the category of sets?




Let $X$ be any set. Then there exists a filtered small category $I$ and a functor $F:Ito mathrm{Set}$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrm{colim}_{iin I} F(i) .
$$




Are there references on results of this type in the literature?






reference-request category-theory limits-colimits




reference-request category-theory limits-colimits






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 10 hours ago









Andrés E. Caicedo

65.9k8160252




65.9k8160252










asked 17 hours ago









geodudegeodude

4,1911344




4,1911344








  • 1




    $begingroup$
    One way to generalize this is the notion of a locally finitely presentable category.
    $endgroup$
    – Derek Elkins
    17 hours ago














  • 1




    $begingroup$
    One way to generalize this is the notion of a locally finitely presentable category.
    $endgroup$
    – Derek Elkins
    17 hours ago








1




1




$begingroup$
One way to generalize this is the notion of a locally finitely presentable category.
$endgroup$
– Derek Elkins
17 hours ago




$begingroup$
One way to generalize this is the notion of a locally finitely presentable category.
$endgroup$
– Derek Elkins
17 hours ago










2 Answers
2






active

oldest

votes


















13












$begingroup$

The answer is yes: every set is the union of its finite subsets.



So take $I = P_{text{finite}}(X)$ with as morphisms the inclusion maps, and $F : I to text{Set}$ the inclusion.






share|cite|improve this answer









$endgroup$





















    9












    $begingroup$

    One answer already mentions the diagram of finite subsets of $X$. You would have to check that taking the union of this system actually is the colimit (which is an easy exercise).



    Since you asked for a reference, Locally Presentable and Accessible Categories by J. Adámek and J. Rosický is a great book on this kind of stuff. In particular example 1.2(1) already mentions the diagram of finite subsets.






    share|cite|improve this answer








    New contributor




    Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.






    $endgroup$














      Your Answer





      StackExchange.ifUsing("editor", function () {
      return StackExchange.using("mathjaxEditing", function () {
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      });
      });
      }, "mathjax-editing");

      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3179574%2fis-every-set-a-filtered-colimit-of-finite-sets%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      13












      $begingroup$

      The answer is yes: every set is the union of its finite subsets.



      So take $I = P_{text{finite}}(X)$ with as morphisms the inclusion maps, and $F : I to text{Set}$ the inclusion.






      share|cite|improve this answer









      $endgroup$


















        13












        $begingroup$

        The answer is yes: every set is the union of its finite subsets.



        So take $I = P_{text{finite}}(X)$ with as morphisms the inclusion maps, and $F : I to text{Set}$ the inclusion.






        share|cite|improve this answer









        $endgroup$
















          13












          13








          13





          $begingroup$

          The answer is yes: every set is the union of its finite subsets.



          So take $I = P_{text{finite}}(X)$ with as morphisms the inclusion maps, and $F : I to text{Set}$ the inclusion.






          share|cite|improve this answer









          $endgroup$



          The answer is yes: every set is the union of its finite subsets.



          So take $I = P_{text{finite}}(X)$ with as morphisms the inclusion maps, and $F : I to text{Set}$ the inclusion.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered 17 hours ago









          rabotarabota

          14.5k32885




          14.5k32885























              9












              $begingroup$

              One answer already mentions the diagram of finite subsets of $X$. You would have to check that taking the union of this system actually is the colimit (which is an easy exercise).



              Since you asked for a reference, Locally Presentable and Accessible Categories by J. Adámek and J. Rosický is a great book on this kind of stuff. In particular example 1.2(1) already mentions the diagram of finite subsets.






              share|cite|improve this answer








              New contributor




              Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
              Check out our Code of Conduct.






              $endgroup$


















                9












                $begingroup$

                One answer already mentions the diagram of finite subsets of $X$. You would have to check that taking the union of this system actually is the colimit (which is an easy exercise).



                Since you asked for a reference, Locally Presentable and Accessible Categories by J. Adámek and J. Rosický is a great book on this kind of stuff. In particular example 1.2(1) already mentions the diagram of finite subsets.






                share|cite|improve this answer








                New contributor




                Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                Check out our Code of Conduct.






                $endgroup$
















                  9












                  9








                  9





                  $begingroup$

                  One answer already mentions the diagram of finite subsets of $X$. You would have to check that taking the union of this system actually is the colimit (which is an easy exercise).



                  Since you asked for a reference, Locally Presentable and Accessible Categories by J. Adámek and J. Rosický is a great book on this kind of stuff. In particular example 1.2(1) already mentions the diagram of finite subsets.






                  share|cite|improve this answer








                  New contributor




                  Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                  Check out our Code of Conduct.






                  $endgroup$



                  One answer already mentions the diagram of finite subsets of $X$. You would have to check that taking the union of this system actually is the colimit (which is an easy exercise).



                  Since you asked for a reference, Locally Presentable and Accessible Categories by J. Adámek and J. Rosický is a great book on this kind of stuff. In particular example 1.2(1) already mentions the diagram of finite subsets.







                  share|cite|improve this answer








                  New contributor




                  Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                  Check out our Code of Conduct.









                  share|cite|improve this answer



                  share|cite|improve this answer






                  New contributor




                  Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                  Check out our Code of Conduct.









                  answered 17 hours ago









                  Mark KamsmaMark Kamsma

                  1564




                  1564




                  New contributor




                  Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                  Check out our Code of Conduct.





                  New contributor





                  Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                  Check out our Code of Conduct.






                  Mark Kamsma is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
                  Check out our Code of Conduct.






























                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid …



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3179574%2fis-every-set-a-filtered-colimit-of-finite-sets%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      -

                      Popular posts from this blog

                      El tren de la libertad Índice Antecedentes "Porque yo decido" Desarrollo de la...

                      Image
                      Feminismo en EspañaAborto en EspañaManifestaciones y protestas en EspañaManifestaciones y protestas en 2014España en 2014Historia de las mujeres en España movimiento socialfeministaderechos sexuales y reproductivosmujeresLey del aborto en España1 de febrero2014MadridAlberto Ruíz Gallardónla ley del aborto vigente del 2010AsturiasTertulia Feminista Les ComadresCongreso de DiputadosAlicia MiyaresAna MatoAlberto Ruiz GallardónEdimburgoRomaParísLuxemburgoBuenos AiresGracia QuerejetaÁngeles González-SindeMabel LozanoIcíar BollaínIsabel CoixetGeorgina CisquellaTeresa FontVirginia Yagüe2010José Luis Rodríguez ZapateroCongreso de Diputados19 de diciembre20095 de julio2010Partido PopularTribunal Constitucional201120 de diciembre2013Partido PopularMariano RajoyGijónTertulia Feminista Les ComadresBegoña PiñeroRenfeAlicia MiyaresTertulia Feminista Les Comadres1 de febrero2014Congreso de DiputadosMariano RajoyAlberto Ruiz GallardónAna MatoAsturiasAndalucíaCanariasCataluñaComunidad ValencianaCasti...
                      Read more

                      Castillo d'Acher Características Menú de navegación

                      Image
                      Montañas de los Pirineos de AragónMontañas de la provincia de Huesca msnmSelva de OzaPirineo aragonésEspañabosque Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Este aviso fue puesto el 11 de agosto de 2011. El pico desde Selva de Oza. El Castillo d' Acher es una cima de 2.384msnm en la zona de la Selva de Oza en la parte occidental del Pirineo aragonés, en España. Debe su nombre a su aspecto de fortaleza que presenta hacia todas sus vertientes. Características En orden ascendente, la cima pasa de un bosque frondoso de tonalidades verde-amarillenta a laderas rojizas. Su cima, que suele presentarse mucha nieve, es un pequeño valle rectangular rodeado en sus cuatro caras por una muralla que le da un aspecto de fortaleza. This page is only for reference, If you need detailed information, please check here
                      Read more

                      Connecting two nodes from the same mother node horizontallyTikZ: What EXACTLY does the the |- notation for...

                      Image
                      Pigeonhole Principle Problem Was Hulk present at this event? Attending a conference where my ex-supervisor and his collaborator are present, should I attend? How did Arya manage to disguise herself? What is the word which sounds like "shtrass"? Does higher resolution in an image imply more bits per pixel? What was the state of the German rail system in 1944? Packet sniffer for MacOS Mojave and above Pressure to defend the relevance of one's area of mathematics Why are there synthetic chemicals in our bodies? Where do they come from? Does the Darkness spell dispel the Color Spray ...
                      Read more