Timeline for Is Set a finitely presentable object in Topoi?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 7, 2019 at 10:53 | vote | accept | Ivan Di Liberti | ||
| Feb 6, 2019 at 22:07 | answer | added | Yonatan Harpaz | timeline score: 9 | |
| Feb 4, 2019 at 14:52 | comment | added | Tim Campion | I believe I can see that $Set$ is $\kappa$-presentable in the category of locally $\kappa$-presentable topoi, but I don't think it's any more presentable than that. However, I don't have a counterexample... | |
| Feb 4, 2019 at 10:39 | comment | added | Ivan Di Liberti | It takes value in categories! Thanks for the question! | |
| Feb 4, 2019 at 10:35 | comment | added | Denis Nardin | Is your functor $\mathrm{pt}$ valued in sets or in categories (which I feel is the most natural choice)? | |
| Feb 4, 2019 at 9:56 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
added 31 characters in body
|
| Feb 3, 2019 at 23:07 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
added 2 characters in body
|
| Feb 3, 2019 at 22:59 | history | asked | Ivan Di Liberti | CC BY-SA 4.0 |