Timeline for Disjoint arrows in the category of locales
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 21, 2019 at 22:13 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 4.0 |
added 1 character in body
|
| May 21, 2019 at 21:42 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 4.0 |
a strengthening
|
| Jul 22, 2014 at 17:03 | vote | accept | John Iskra | ||
| Jul 19, 2014 at 10:32 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 3.0 |
added 119 characters in body
|
| Jul 19, 2014 at 10:27 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 3.0 |
added 119 characters in body
|
| Jul 19, 2014 at 10:03 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 3.0 |
added 135 characters in body
|
| Jul 19, 2014 at 10:02 | comment | added | მამუკა ჯიბლაძე | Thank you very much! You saved me from further attempts to prove it :) | |
| Jul 19, 2014 at 9:48 | comment | added | Simon Henry | This last exercice is false : let $X$ be spatial local with no isolated point. let $X_d$ be the set of point of $X$ and let $S$ be the double negation sublocale of $X$. then the map from $X_d$ to $X$ is a surjection but the pullback of $S$ along this map is empty. | |
| Jul 19, 2014 at 4:59 | history | edited | მამუკა ჯიბლაძე | CC BY-SA 3.0 |
deleted 380 characters in body
|
| Jul 19, 2014 at 4:51 | history | answered | მამუკა ჯიბლაძე | CC BY-SA 3.0 |