Timeline for Sentences preserved under inverse limits
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Feb 8, 2022 at 22:00 | history | bounty ended | CommunityBot | ||
| S Feb 8, 2022 at 22:00 | history | notice removed | CommunityBot | ||
| Feb 1, 2022 at 3:18 | comment | added | Ali Enayat | @PeterLeFanuLumsdaine I am in agreement with you; I suspect that there is a partial characterizations (by limiting to particular types of inverse limites), and maybe one can prove that the general problem does not admit a "nice" solution. | |
| Feb 1, 2022 at 0:33 | comment | added | Peter LeFanu Lumsdaine | Nice question; but my off-the-cuff impulse is that I wouldn’t expect such a clean characterisation, since limits of inverse systems (if I’m understanding right that that’s what I’d call directed limits) in Set don’t enjoy such strong well-behavedness properties as direct limits of direct systems (i.e. filtered colimits), since Set is locally finitely presentable but not dually so. Or to put it another way: I’d guess other classes of limits might give more natural answers consider than “limits over inverse systems”. | |
| S Jan 31, 2022 at 20:53 | history | bounty started | Noah Schweber | ||
| S Jan 31, 2022 at 20:53 | history | notice added | Noah Schweber | Draw attention | |
| Jan 28, 2022 at 18:46 | comment | added | Ivan Di Liberti | I do not know the answer to this question, but the notion of locally multipresentable category/ universal AEC is related to this one (it is stronger) and might be a good starting point: arxiv.org/abs/1707.09005 | |
| Jan 28, 2022 at 16:17 | comment | added | Ali Enayat | @FedorPakhomov Thank you, the link is now fixed. | |
| Jan 28, 2022 at 16:17 | history | edited | Ali Enayat | CC BY-SA 4.0 |
fixed the link to van den Berg's slides
|
| Jan 28, 2022 at 11:07 | comment | added | Fedor Pakhomov | The link to Benno van den Berg slides doesn't work. | |
| Jan 27, 2022 at 3:39 | comment | added | Ali Enayat | @ZhenLin I meant specifivally limits of inverse systems. I added a parenthetical comments to clarify (thanks for your question). | |
| Jan 27, 2022 at 3:39 | history | edited | Ali Enayat | CC BY-SA 4.0 |
added 20 characters in body
|
| Jan 27, 2022 at 3:12 | comment | added | Zhen Lin | There is a gap between "inverse limit" as commonly understood and "limit" as understood by a category theorist. Do you mean specifically limits of inverse systems, or do you also allow products and equalisers? | |
| Jan 27, 2022 at 1:24 | history | asked | Ali Enayat | CC BY-SA 4.0 |