Timeline for Local presentability and representable presheaves over the category of topological spaces
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Mar 28, 2019 at 21:53 | history | suggested | Daniel Satanove | CC BY-SA 4.0 |
fixed link
|
| Mar 28, 2019 at 21:34 | review | Suggested edits | |||
| S Mar 28, 2019 at 21:53 | |||||
| Oct 26, 2015 at 18:26 | comment | added | Tim Campion | In fact the only presentable objects in Top are the discrete spaces. See Adamek and Rosicky's book Locally Presentable and Accessible Categories, Example 1.14(6). Top also fails to have a dense generator, see the same book, Example 1.24(7); I believe Top doesn't even have a strong generator and I think/hope the same example shows this. The point is, Top is about as far from being locally presentable as can be, and it's purely for size reasons: the Fajstrup-Rosicky paper Daniel linked to discusses a method for cutting down to a locally presentable category. | |
| May 11, 2010 at 14:07 | vote | accept | David Carchedi | ||
| May 11, 2010 at 2:52 | history | edited | Daniel Schäppi | CC BY-SA 2.5 |
added 124 characters in body
|
| May 11, 2010 at 1:36 | comment | added | David Carchedi | Is $Top$ supposed to be $Top^{op}$ everywhere? | |
| May 11, 2010 at 1:01 | history | answered | Daniel Schäppi | CC BY-SA 2.5 |