Timeline for Can the dual of a finitely-accessible category be accessible?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 5, 2020 at 10:36 | answer | added | Jiří Rosický | timeline score: 3 | |
| Jan 3, 2020 at 23:12 | comment | added | Tim Campion | @RobertFurber Thanks, fixed! That was a particularly pernicious error since the theorem you're referring to -- the fact that a category $C$ and its opposite can't both be locally presentable unless $C$ is a preorder -- is in some sense the big obstruction that the whole question is dancing around! | |
| Jan 3, 2020 at 23:06 | history | edited | Tim Campion | CC BY-SA 4.0 |
deleted 9 characters in body
|
| Jan 3, 2020 at 18:15 | comment | added | Robert Furber | I think you've made a slip-up in the last paragraph - $\mathbf{Hilb}$ is $\aleph_1$-accessible, but not locally $\aleph_1$-presentable, nor locally $\kappa$-presentable for any cardinal $\kappa$, on account of the fact that it is self-dual and not a preorder. | |
| Jan 3, 2020 at 6:38 | history | became hot network question | |||
| Jan 2, 2020 at 23:11 | comment | added | Tim Campion | I've accepted Ivan's answer, which addresses the title question and hence also the first and last bullet points, but I'd be very interested in seeing more examples. | |
| Jan 2, 2020 at 23:09 | vote | accept | Tim Campion | ||
| Jan 2, 2020 at 22:54 | answer | added | Ivan Di Liberti | timeline score: 10 | |
| Jan 2, 2020 at 22:37 | history | asked | Tim Campion | CC BY-SA 4.0 |