Timeline for Rank of presentability of internal Hom of locally presentable categories
Current License: CC BY-SA 4.0
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 5, 2019 at 20:53 | comment | added | Ivan Di Liberti | Yes, probably, I was just making the point that I do not believe that it is $\kappa$-accessible in general. | |
Mar 5, 2019 at 16:00 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
added 4 characters in body
|
Mar 5, 2019 at 15:58 | comment | added | Reid Barton | Right, this is another route to the local presentability of the internal Hom (I think it is also the one used in Higher Topos Theory). Since it passes through the theory of accessible categories I expect that it would give much worse bounds on the rank of presentability than an argument like the one in Bird's thesis. | |
Mar 5, 2019 at 15:49 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
deleted 554 characters in body
|
Mar 5, 2019 at 15:38 | history | undeleted | Ivan Di Liberti | ||
Mar 5, 2019 at 15:38 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
deleted 554 characters in body
|
Mar 5, 2019 at 15:11 | history | deleted | Ivan Di Liberti | via Vote | |
Mar 5, 2019 at 15:11 | history | edited | Ivan Di Liberti | CC BY-SA 4.0 |
added 179 characters in body
|
Mar 5, 2019 at 15:06 | history | answered | Ivan Di Liberti | CC BY-SA 4.0 |