Timeline for When is a finitary functor induced by Ind (co)continuous
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2020 at 1:25 | vote | accept | varkor | ||
| Sep 14, 2020 at 1:25 | comment | added | varkor | Thanks, this is a nice example. I think simply knowing that there isn't such an elegant characterisation for (1) is enough to answer that part of my question. I had hoped there would be a condition not much more complex than that for (2), but suspected it might not be the case. | |
| Sep 13, 2020 at 14:14 | comment | added | Zhen Lin | Well, I wouldn't expect anything as nice as (2). For example you might consider $\textbf{CRing}^X$ where $X$ is an infinite set. This is a locally finitely presentable category for general reasons, but the terminal object – the limit of the empty diagram! – is not finitely presentable. So one has to do more work to figure out how a finitely accessible functor defined on finitely presentable objects is going to act on the terminal object. | |
| Sep 13, 2020 at 12:20 | comment | added | varkor | Thank you, this is helpful! Is there reason to believe there may not be a nice characterisation for (1)? | |
| Sep 13, 2020 at 2:19 | comment | added | Zhen Lin | Thanks! I updated the link. (Nothing new there though.) | |
| Sep 13, 2020 at 1:17 | comment | added | David Roberts♦ | Off-topic, but the url listed on your user page is broken. It's good to see you here again, btw! | |
| Sep 12, 2020 at 23:27 | history | answered | Zhen Lin | CC BY-SA 4.0 |