Etydhv

What do you call something that goes against the spirit of the law, but is legal when interpreting the law to the letter?

Shall I use personal or official e-mail account when registering to external websites for work purpose?

Wild Shape Centaur Into a Giant Elk: do their Charges stack?

Input two commands to a new terminal?

Is it legal to have the "// (c) 2019 John Smith" header in all files when there are hundreds of contributors?

Information to fellow intern about hiring?

Why doesn't a const reference extend the life of a temporary object passed via a function?

Why does this relative pronoun not take the case of the noun it is referring to?

Denied boarding due to overcrowding, Sparpreis ticket. What are my rights?

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

Calculate Levenshtein distance between two strings in Python

Lied on resume at previous job

Could Giant Ground Sloths have been a Good Pack Animal for the Ancient Mayans

extract characters between two commas?

Sort in WP_Query(), not filter? Is it possible?

Does it makes sense to buy a cycle to learn riding?

Why do UK politicians seemingly ignore opinion polls on Brexit?

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

Email Account under attack (really) - anything I can do?

Why did the Germans forbid the possession of pet pigeons in Rostov-on-Don in 1941?

How can I add custom success page

Is Social Media Science Fiction?

Can I legally use front facing blue light in the UK?

Is it true that "The augmented fourth (A4) and the diminished fifth (d5) are the only aug and dim intervals that appear in diatonic scales"

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$

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

edited 1 hour ago

Andrés E. Caicedo

65.9k8160252

asked 8 hours ago

geodudegeodude

4,1911344

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

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

  
  
  
  

add a comment | 

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

edited 1 hour ago

Andrés E. Caicedo

65.9k8160252

asked 8 hours ago

geodudegeodude

4,1911344

$endgroup$

• 
  
  
  

  
  1
  

  
  
  
  
  
  

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

  
  
  
  

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 1 hour ago

Andrés E. Caicedo

65.9k8160252

asked 8 hours ago

geodudegeodude

4,1911344

$endgroup$

share|cite|improve this question

edited 1 hour ago

Andrés E. Caicedo

65.9k8160252

asked 8 hours ago

geodudegeodude

4,1911344

share|cite|improve this question

edited 1 hour ago

Andrés E. Caicedo

65.9k8160252

asked 8 hours ago

geodudegeodude

4,1911344

edited 1 hour ago

Andrés E. Caicedo

65.9k8160252

edited 1 hour ago

Andrés E. Caicedo

65.9k8160252

asked 8 hours ago

geodudegeodude

4,1911344

asked 8 hours ago

geodudegeodude

4,1911344

2 Answers
2

active

oldest

votes

12

$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 8 hours ago

rabotarabota

14.5k32885

$endgroup$

add a comment | 

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

answered 8 hours ago

Mark KamsmaMark Kamsma

1113

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$

add a comment | 

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

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

12

$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 8 hours ago

rabotarabota

14.5k32885

$endgroup$

add a comment | 

12

$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 8 hours ago

rabotarabota

14.5k32885

$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 8 hours ago

rabotarabota

14.5k32885

$endgroup$

share|cite|improve this answer

answered 8 hours ago

rabotarabota

14.5k32885

answered 8 hours ago

rabotarabota

14.5k32885

answered 8 hours ago

rabotarabota

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

answered 8 hours ago

Mark KamsmaMark Kamsma

1113

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$

add a comment | 

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

answered 8 hours ago

Mark KamsmaMark Kamsma

1113

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$

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 8 hours ago

Mark KamsmaMark Kamsma

1113

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$

share|cite|improve this answer

answered 8 hours ago

Mark KamsmaMark Kamsma

1113

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 8 hours ago

Mark KamsmaMark Kamsma

1113

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 8 hours ago

Mark KamsmaMark Kamsma

1113