Timeline for Is Set a finitely presentable object in Topoi?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 7, 2019 at 10:53 | comment | added | Ivan Di Liberti | Thanks! Accepted. | |
| Feb 7, 2019 at 10:53 | vote | accept | Ivan Di Liberti | ||
| Feb 7, 2019 at 10:52 | comment | added | Yonatan Harpaz | @IvanDiLiberti, Note that for every $n$ we have ${\rm Pro}([n]) \simeq [n]$, but there is a non-constant object in ${\rm Pro}([\omega])$, namely, the inverse system given by the identity diagram $\omega \to \omega$ (and which corresponds to the terminal left exact functor sending everything to the point). | |
| Feb 7, 2019 at 10:01 | comment | added | Ivan Di Liberti | Thanks for your answer! I completely believe it, because I dot expect the Ind-completion to be an accessible KZ-doctrine over Cat, but is there an evident argument that proves $\text{colim} \text{Pro}([n]) \not \cong \text{Pro}([\omega])$? | |
| Feb 6, 2019 at 22:07 | history | answered | Yonatan Harpaz | CC BY-SA 4.0 |