Timeline for $\infty$-topos and localic $\infty$-groupoids?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 27, 2022 at 16:16 | comment | added | Ivan Di Liberti | @SimonHenry In classical topos theory, the Diaconescu localic cover theorem gives a connected locally connected geometric morphism. Often people only stress on the fact that it is open. | |
| Sep 27, 2022 at 14:49 | comment | added | Simon Henry | @IvanDiLiberti the stability under pullback of localic morphisms might be useful at some point yes. But the crucial point would be some form of Diaconescu Localic open cover theorem for $\infty$-toposes (though "open" should probably be replaced by locally $\infty$-connected or something like that...). | |
| Sep 27, 2022 at 14:43 | comment | added | Ivan Di Liberti | @SimonHenry I think that would be a very good starting point to prove the result you want. | |
| Sep 27, 2022 at 14:14 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 96 characters in body
|
| Sep 27, 2022 at 14:09 | comment | added | Simon Henry | @IvanDiLiberti Probably - but as far as I remember it hasn't been written (from what I remember Lurie in HTT talks about n-localic toposes but does not study the relative version) | |
| Sep 27, 2022 at 13:45 | comment | added | Ivan Di Liberti | Do we have a hyperconnected-localic fact system? | |
| Jun 5, 2014 at 0:09 | comment | added | user62675 | So, you're asking if every classical $\infty$-topos is equivalent to the category of sheaves on a localic $\infty$-topos, correct? | |
| Sep 12, 2013 at 9:42 | history | edited | Simon Henry | CC BY-SA 3.0 |
deleted 1294 characters in body; edited title
|
| Oct 13, 2012 at 12:03 | history | edited | Simon Henry | CC BY-SA 3.0 |
added 1052 characters in body
|
| Apr 13, 2012 at 10:43 | comment | added | Simon Henry | If I found any things about this, I will. But for now I have a lot of thing to learn before... | |
| Apr 13, 2012 at 1:06 | comment | added | David Carchedi | This is something I have thought about in the back of my head for several years. If you come up with something, or would just like to brainstorm, let me know. | |
| Apr 8, 2012 at 20:48 | history | edited | Mike Shulman | CC BY-SA 3.0 |
corrected spelling, fixed grammar, added tags
|
| Apr 8, 2012 at 20:23 | history | asked | Simon Henry | CC BY-SA 3.0 |