Timeline for When is a basis of a topological space a Grothendieck pretopology?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2022 at 8:20 | vote | accept | saolof | ||
| Feb 21, 2022 at 23:44 | history | became hot network question | |||
| Feb 21, 2022 at 21:14 | comment | added | saolof | I edited the question to mention both cases. | |
| Feb 21, 2022 at 21:14 | history | edited | saolof | CC BY-SA 4.0 |
Edited question in light of new information
|
| Feb 21, 2022 at 20:50 | comment | added | saolof | Good observation. As the question is written, it considers the category of all open sets of the space, but both cases are interesting. | |
| Feb 21, 2022 at 20:47 | history | edited | YCor | CC BY-SA 4.0 |
fixed capital
|
| Feb 21, 2022 at 19:43 | comment | added | მამუკა ჯიბლაძე | Do you mean pretopology on the category of all open sets of the space or on its subcategory formed by the basic opens? (See my comment to the answer below) | |
| Feb 21, 2022 at 19:05 | answer | added | Dmitri Pavlov | timeline score: 11 | |
| Feb 21, 2022 at 16:09 | history | edited | saolof | CC BY-SA 4.0 |
deleted 97 characters in body
|
| Feb 21, 2022 at 15:40 | history | asked | saolof | CC BY-SA 4.0 |