Timeline for $\infty$-topos as an internal $\infty$-category in itself
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 16, 2023 at 11:19 | vote | accept | Arshak Aivazian | ||
| Dec 16, 2023 at 11:12 | answer | added | Maxime Ramzi | timeline score: 7 | |
| Dec 16, 2023 at 10:50 | comment | added | Arshak Aivazian | If you post this as an answer, I will accept it. | |
| Dec 16, 2023 at 10:49 | comment | added | Arshak Aivazian | @MaximeRamzi Exactly! This is actually my construction and it was really possible to immediately talk about a sheaf of categories, and not about a simplicial object of sheaves of groupoids, it’s more elegant! Thank you very much! | |
| Dec 16, 2023 at 10:17 | comment | added | Maxime Ramzi | Isn't their "$\Omega$" exactly what you are after ? (Except that instead of looking at a smaller universe they solve the set theory problem by looking at a larger universe) | |
| Dec 15, 2023 at 23:22 | history | edited | Arshak Aivazian | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Dec 15, 2023 at 23:19 | comment | added | Arshak Aivazian | @MaximeRamzi Thank you very much for directing my attention to these works, it is very useful for me! But I don’t see a specific discussion of my question in all three (about internal categories, presentable categories and topoi, respectively). | |
| Dec 15, 2023 at 22:49 | comment | added | Maxime Ramzi | I would look in the work of Martini and Wolf about internal higher categories; I would be surprised if this weren't in there. | |
| Dec 15, 2023 at 22:14 | history | edited | Arshak Aivazian | CC BY-SA 4.0 |
added 16 characters in body
|
| Dec 15, 2023 at 22:08 | history | edited | Arshak Aivazian | CC BY-SA 4.0 |
deleted 2 characters in body
|
| Dec 15, 2023 at 22:02 | history | asked | Arshak Aivazian | CC BY-SA 4.0 |