Timeline for Non spatial atomic topos
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 18, 2013 at 23:39 | history | edited | user9072 |
edited tags
|
|
| Jun 18, 2013 at 23:15 | comment | added | Urs Schreiber | @David, concerning Elephants, contact me. I don't seem to have your current email address. | |
| Jun 18, 2013 at 22:52 | comment | added | Zhen Lin | I would if I understood the construction myself! | |
| Jun 18, 2013 at 22:34 | comment | added | David Roberts♦ | @Zhen - why not add that as an answer, or even better, write it out? Not everyone has access to the Elephant (it does cost a small fortune after all). | |
| Jun 18, 2013 at 22:33 | comment | added | David Roberts♦ | I added the [ct.category-theory] tag. | |
| Jun 18, 2013 at 22:32 | history | edited | David Roberts♦ |
Added ct tag
|
|
| Jun 18, 2013 at 22:13 | comment | added | Zhen Lin | There is an example of a pointless connected atomic topos: see Example 3.4.14 in [Sketches of an elephant, Part D]. | |
| Jun 18, 2013 at 21:13 | history | asked | Simon Henry | CC BY-SA 3.0 |