Timeline for Which limits commute with filtered colimits in the category of sets?
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 20, 2017 at 17:01 | comment | added | Morgan Rogers | Please can you give a reference for the "finitely generated" definition and/or relevant proof? It's a term that Paré uses without defining, and that I can't seem to find defined anywhere in his references (or in nLab). I trust that the definition you give is correct, but referring to MO for a definition isn't ideal! | |
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Aug 23, 2013 at 10:50 | comment | added | Tom Leinster | For the bonus mini-question: Corollary VII.6.5 of Moerdijk and Mac Lane's Sheaves in Geometry and Logic states that the colimits in Set commuting with finite limits are exactly the filtered ones. | |
| Aug 23, 2013 at 1:56 | history | edited | Omar Antolín-Camarena | CC BY-SA 3.0 |
added 7 characters in body
|
| Aug 23, 2013 at 1:45 | history | edited | Omar Antolín-Camarena | CC BY-SA 3.0 |
added 186 characters in body
|
| Aug 23, 2013 at 1:23 | vote | accept | Omar Antolín-Camarena | ||
| Aug 22, 2013 at 21:48 | answer | added | Marc Hoyois | timeline score: 19 | |
| Aug 22, 2013 at 20:55 | history | edited | Omar Antolín-Camarena | CC BY-SA 3.0 |
added 16 characters in body
|
| Aug 22, 2013 at 20:48 | history | asked | Omar Antolín-Camarena | CC BY-SA 3.0 |