Is every set a filtered colimit of finite sets?












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
    2 days 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
    2 days 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 2 days ago









Andrés E. Caicedo

65.9k8160252




65.9k8160252










asked 2 days 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
    2 days ago














  • 1




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








1




1




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




$begingroup$
One way to generalize this is the notion of a locally finitely presentable category.
$endgroup$
– Derek Elkins
2 days 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 2 days ago









          rabotarabota

          14.6k32885




          14.6k32885























              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 2 days ago









                  Mark KamsmaMark Kamsma

                  3065




                  3065




                  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

                      Statuo de Libereco

                      Image
                      Koordinatoj: 40°41′21″N 74°02′40″W   /   40.68917°N , 74.04444°U  / 40.68917; -74.04444  ( Statuo de Libereco ) Statuo de Libereco angle: Statue of Liberty statuo Statuo de Libereco de antaŭe Oficiala nomo: Liberty Enlightening the World Lando  Usono Ŝtato Novjorkio Regiono Novjorko Insulo Insulo de Libereco Situo Statuo de Libereco  - koordinatoj 40°41′21″N 74°02′40″W   /   40.68917°N , 74.04444°U  / 40.68917; -74.04444  ( Statuo de Libereco ) Alteco de statuo 46 m  - alteco kun soklo 93 m Pezo 205 000 kg (451 948 lb) Materialoj bronzo, ŝtalo Proponinto Gustave Eiffel  - skulptisto Frédéric Auguste Bartholdi  - proponinto de soklo Richard Morris Hunt  - kapo laŭ modelo de Isabella Eugenie Boyer Transdonita 4-an de julio 1886 Por publiko alirebla por publiko Horzono OT (UTC-5)  - somera tempo OT (UTC-4) Loko
                      Read more

                      Tanganjiko

                      Image
                      Lago Tanganjiko Situo centra Afriko Ĉefaj fontoj Kalambo, Lufuko, Malagarasi kaj Ruzizi Ĉefaj elfluoj Lukugo Setlejoj Bujumbura, Kalemie Datenoj Koordinatoj 6°  S , 30°  O -6.3827777777778 29.615 782 Koordinatoj: 6°  S , 30°  O DEC Supermara alteco 782 m Surfaca areo 32 893 km² f5 Maksimuma longo 673 km f6 Maksimuma larĝo 72 km f7 Akva volumeno 18.900 km³ dep1 f8 Maksimuma profundo 1470 m f10 Averaĝa profundo 570 m f11 v   •   d   •   r Mapo de la lago Tanganjiko estas lago en orienta Afriko, inter Burundo, Kongo Kinŝasa, Tanzanio kaj Zambio. Ĝi apartenas al la Granda Rifto kaj estas unu el la Afrikaj Grandaj Lagoj. Tanzanio (46%) kaj DRK (40%) havas la majoritaton de la lago. Ĝi havas longon de 673 km, areon de ĉ. 32.900 km² kaj maksimuman profundon taksatan je 1470 metroj; pro tiu ĉi granda profundo ankaŭ ĝia volumeno estas sufiĉe granda, 18.900 km³. Oni konsi
                      Read more

                      Liste der Baudenkmäler in Enneberg

                      Image
                      Die Liste der Baudenkmäler in Enneberg (ladinisch Mareo , italienisch Marebbe ) enthält die 36 als Baudenkmäler ausgewiesenen Objekte auf dem Gebiet der Gemeinde Enneberg in Südtirol. Basis ist das im Internet einsehbare offizielle Verzeichnis der Baudenkmäler in Südtirol. Dabei kann es sich beispielsweise um Sakralbauten, Wohnhäuser, Bauernhöfe und Adelsansitze handeln. Die Reihenfolge in dieser Liste orientiert sich an der Bezeichnung, alternativ ist sie auch nach der Adresse oder dem Datum der Unterschutzstellung sortierbar. Liste | Foto   Bezeichnung Standort Eintragung Beschreibung Metadaten ja Altes Gasthaus Janesch ID: 14567 46° 42′ 54″ N, 11° 52′ 42″ O 76882557800 0 8. Sep. 1986 (BLR-LAB 4974) Ländliches Wohnhaus/Bauernhof KG:  Welschellen Bauparzelle: 391 ja Asch (Prack) ID: 14540 46° 43′ 12″ N, 11° 54′ 35″ O 75496485300 20. Nov. 1950 (MD) Ansitz KG:  Enneberg Bauparzelle: 38 ja Biccia mit Stade
                      Read more