Timeline for Rank of presentability of internal Hom of locally presentable categories
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 10, 2021 at 0:38 | comment | added | Zhen Lin | I'm not sure what argument I had in mind. I may have misspoken. | |
| Aug 9, 2021 at 22:18 | answer | added | Tim Campion | timeline score: 3 | |
| May 11, 2019 at 15:35 | comment | added | Simon Henry | This is just to say that I tried what I thought was the simplest localization I know: let $C$ the category of sheaves on a Boolean algebra for the coherent coverage (equivalently sheaves on its Stone space, its $\omega$-presentable). In this case $Ladj(C,D)$ identifies with the category of $D$-valued cosheaves on $B$, which I assume was not going to be $\omega$-presentable. I tried with $D = Set$ and $D= Abelian group$ in both case it was $\omega$-presentable... then I tried with $D=Group$ for which I think it is not $\omega$-presentable, but I havn't been able to prove it.... | |
| Mar 5, 2019 at 15:06 | answer | added | Ivan Di Liberti | timeline score: 2 | |
| Mar 5, 2019 at 14:40 | history | asked | Reid Barton | CC BY-SA 4.0 |