Trjtdtk

Hang 20lb projector screen on Hardieplank

Power LED from 3.3V Power Pin without Resistor

Meaning of "individuandum"

Is it the same airport YUL and YMQ in Canada?

Pressure to defend the relevance of one's area of mathematics

How to efficiently calculate prefix sum of frequencies of characters in a string?

Binary Numbers Magic Trick

Packet sniffer for MacOS Mojave and above

How did Arya get back her dagger from Sansa?

Was Unix ever a single-user OS?

Unexpected email from Yorkshire Bank

How do you center multiple equations that have multiple steps?

Feels like I am getting dragged into office politics

Stark VS Thanos

Unidentified items in bicycle tube repair kit

Why was Germany not as successful as other Europeans in establishing overseas colonies?

Has any spacecraft ever had the ability to directly communicate with civilian air traffic control?

How can I fairly adjudicate the effects of height differences on ranged attacks?

Write to EXCEL from SQL DB using VBA script

Why do freehub and cassette have only one position that matches?

How to convert array of objects to single object which has dynamic key in typescript

If 1. e4 c6 is considered as a sound defense for black, why is 1. c3 so rare?

Password expiration with Password manager

Why is the SNP putting so much emphasis on currency plans?

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 $mathbfSet$

3

$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

edited Apr 8 at 19:10

Andrés E. Caicedo

66.3k8160252

asked Apr 8 at 12:29

geodudegeodude

4,1961344

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  One way to generalize this is the notion of a locally finitely presentable category.
  $endgroup$
  – Derek Elkins
  Apr 8 at 12:35
  

  
  
  
  

add a comment | 

3

$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

edited Apr 8 at 19:10

Andrés E. Caicedo

66.3k8160252

asked Apr 8 at 12:29

geodudegeodude

4,1961344

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  One way to generalize this is the notion of a locally finitely presentable category.
  $endgroup$
  – Derek Elkins
  Apr 8 at 12:35
  

  
  
  
  

add a comment | 

$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

edited Apr 8 at 19:10

Andrés E. Caicedo

66.3k8160252

asked Apr 8 at 12:29

geodudegeodude

4,1961344

$endgroup$

share|cite|improve this question

edited Apr 8 at 19:10

Andrés E. Caicedo

66.3k8160252

asked Apr 8 at 12:29

geodudegeodude

4,1961344

share|cite|improve this question

edited Apr 8 at 19:10

Andrés E. Caicedo

66.3k8160252

asked Apr 8 at 12:29

geodudegeodude

4,1961344

edited Apr 8 at 19:10

Andrés E. Caicedo

66.3k8160252

edited Apr 8 at 19:10

Andrés E. Caicedo

66.3k8160252

asked Apr 8 at 12:29

geodudegeodude

4,1961344

asked Apr 8 at 12:29

geodudegeodude

4,1961344

2 Answers
2

active

oldest

votes

14

$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

answered Apr 8 at 12:31

rabotarabota

14.6k32887

$endgroup$

add a comment | 

10

$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

answered Apr 8 at 12:40

Mark KamsmaMark Kamsma

1,09315

$endgroup$

add a comment | 

Your Answer

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

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

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

Name

Email

Required, but never shown

14

$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

answered Apr 8 at 12:31

rabotarabota

14.6k32887

$endgroup$

add a comment | 

14

$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

answered Apr 8 at 12:31

rabotarabota

14.6k32887

$endgroup$

add a comment | 

$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

answered Apr 8 at 12:31

rabotarabota

14.6k32887

$endgroup$

share|cite|improve this answer

answered Apr 8 at 12:31

rabotarabota

14.6k32887

answered Apr 8 at 12:31

rabotarabota

14.6k32887

answered Apr 8 at 12:31

rabotarabota

14.6k32887

10

$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

answered Apr 8 at 12:40

Mark KamsmaMark Kamsma

1,09315

$endgroup$

add a comment | 

10

$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

answered Apr 8 at 12:40

Mark KamsmaMark Kamsma

1,09315

$endgroup$

add a comment | 

$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

answered Apr 8 at 12:40

Mark KamsmaMark Kamsma

1,09315

$endgroup$

share|cite|improve this answer

answered Apr 8 at 12:40

Mark KamsmaMark Kamsma

1,09315

answered Apr 8 at 12:40

Mark KamsmaMark Kamsma

1,09315

answered Apr 8 at 12:40

Mark KamsmaMark Kamsma

1,09315