Is every set a filtered colimit of finite sets? The 2019 Stack Overflow Developer Survey Results Are InOn 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 $mathbfSet$

How to type this arrow in math mode?

Do these rules for Critical Successes and Critical Failures seem Fair?

Write faster on AT24C32

How technical should a Scrum Master be to effectively remove impediments?

What is the meaning of Triage in Cybersec world?

Is three citations per paragraph excessive for undergraduate research paper?

Have you ever entered Singapore using a different passport or name?

If a Druid sees an animal’s corpse, can they wild shape into that animal?

Are there any other methods to apply to solving simultaneous equations?

Can a rogue use sneak attack with weapons that have the thrown property even if they are not thrown?

Time travel alters history but people keep saying nothing's changed

Why do UK politicians seemingly ignore opinion polls on Brexit?

What does ひと匙 mean in this manga and has it been used colloquially?

How to deal with fear of taking dependencies

Are spiders unable to hurt humans, especially very small spiders?

Why can Shazam fly?

Where to refill my bottle in India?

Resizing object distorts it (Illustrator CC 2018)

How to save as into a customized destination on macOS?

Is flight data recorder erased after every flight?

Earliest use of the term "Galois extension"?

When should I buy a clipper card after flying to OAK?

Is this app Icon Browser Safe/Legit?

One word riddle: Vowel in the middle



Is every set a filtered colimit of finite sets?



The 2019 Stack Overflow Developer Survey Results Are InOn 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 $mathbfSet$










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 mathrmSet$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrmcolim_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 mathrmSet$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrmcolim_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 mathrmSet$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrmcolim_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 mathrmSet$ such that for all $iin I$ the set $F(i)$ is finite, and such that
$$
X ; = ; mathrmcolim_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_textfinite(X)$ with as morphisms the inclusion maps, and $F : I to textSet$ 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_textfinite(X)$ with as morphisms the inclusion maps, and $F : I to textSet$ 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_textfinite(X)$ with as morphisms the inclusion maps, and $F : I to textSet$ 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_textfinite(X)$ with as morphisms the inclusion maps, and $F : I to textSet$ 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_textfinite(X)$ with as morphisms the inclusion maps, and $F : I to textSet$ 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

                      Tamil (spriik) Luke uk diar | Nawigatjuun

                      Image
                      Fering ArtiikelDrawiidisk Spriiken SölringÖömrangFeringHalunderHalifreeskMooringWiringhiirderKarhiirderGooshiirderDrawiidisk SpriikTamil NaduIndienSri Lanka (function()var node=document.getElementById("mw-dismissablenotice-anonplace");if(node)node.outerHTML="u003Cdiv class="mw-dismissable-notice"u003Eu003Cdiv class="mw-dismissable-notice-close"u003E[u003Ca tabindex="0" role="button"u003EFersteegu003C/au003E]u003C/divu003Eu003Cdiv class="mw-dismissable-notice-body"u003Eu003Cdiv id="localNotice" lang="frr" dir="ltr"u003Eu003Cdiv id="sitenotice"u003Enu003Ccenteru003Enu003Ctable class="rahmenfarbe4" style="border-style: solid; border-width: thin; width: 70%;"u003Ennu003Ctbodyu003Eu003Ctru003Enu003Ctd style="text-align:center;"u003Eu003Ca href="/wiki/Datei:Nordfriesischeflagge.svg" class="image"u003Eu003Cimg alt="Nordfriesische...
                      Read more

                      Align equal signs while including text over equalitiesAMS align: left aligned text/math plus multicolumn alignmentMultiple alignmentsAligning equations in multiple placesNumbering and aligning an equation with multiple columnsHow to align one equation with another multline equationUsing \ in environments inside the begintabularxNumber equations and preserving alignment of equal signsHow can I align equations to the left and to the right?Double equation alignment problem within align enviromentAligned within align: Why are they right-aligned?

                      Image
                      Why didn't the Universal Translator speak whale? What is /dev/null and why can't I use hx on it? The work of mathematicians outside their professional environment Does the DOJ's declining to investigate the Trump-Zelensky call ruin the basis for impeachment? Are there any tricks to pushing a grand piano? Maintaining distance Does it require less energy to reach the Sun from Pluto's orbit than from Earth's orbit? Object Oriented Design: Where to place behavior that pertains to more than one type of object? Choice of solvent during thin layer chromatography How to catch creatures that can predict the next few minutes? Use floats or doubles when writing mobile games How come the Russian cognate for the Czech word "čerstvý" (fresh) means entirely the opposite thing (stale)? What are the limits on an impeached and not convicted president? How to calculate Limit of this sequence Bash-script as linux-service won't run, but executed...
                      Read more

                      Training a classifier when some of the features are unknownWhy does Gradient Boosting regression predict negative values when there are no negative y-values in my training set?How to improve an existing (trained) classifier?What is effect when I set up some self defined predisctor variables?Why Matlab neural network classification returns decimal values on prediction dataset?Fitting and transforming text data in training, testing, and validation setsHow to quantify the performance of the classifier (multi-class SVM) using the test data?How do I control for some patients providing multiple samples in my training data?Training and Test setTraining a convolutional neural network for image denoising in MatlabShouldn't an autoencoder with #(neurons in hidden layer) = #(neurons in input layer) be “perfect”?

                      Image
                      Extremely casual way to make requests to very close friends Why are Gatwick's runways too close together? AsyncDictionary - Can you break thread safety? Different inverter (logic gate) symbols Y2K... in 2019? Withdrew when Jimmy met up with Heath Christian apologetics regarding the killing of innocent children during the Genesis flood How does 'AND' distribute over 'OR' (Set Theory)? Ex-contractor published company source code and secrets online how to differentiate when a child lwc component is called twice in parent component? Infeasibility in mathematical optimization models How is this kind of structure made? Plausibility of Ice Eaters in the Arctic Tikzpicture - finish drawing a curved line for a cake slice Why is transplanting a specific intact brain impossible if it is generally possible? How to create all combinations from a nested list while preserving the structure using R? What should I call bands of armed men in Medieval T...
                      Read more