Timeline for Does the concept of a $\infty$-category have a natural definition in the $\infty$-world?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 4, 2022 at 15:13 | comment | added | Z. M | @ZhenLin What about the answer for 2-topos, or n-topos instead of infinite level? | |
| Dec 4, 2022 at 2:34 | vote | accept | Arshak Aivazian | ||
| Dec 4, 2022 at 2:34 | comment | added | Arshak Aivazian | Ah, got it. I did not expect that there is still no definition, interesting. Then I should probably accept the answer. | |
| Dec 3, 2022 at 23:27 | comment | added | Zhen Lin | It does not (yet) exist in the same way that the internal language of a general 1-topos exists. But we (or some people, at least) believe it (will) exist. | |
| Dec 3, 2022 at 18:24 | answer | added | Tim Campion | timeline score: 6 | |
| Dec 3, 2022 at 13:08 | comment | added | Arshak Aivazian | I mean the inner language of $(\infty, 1)$-topos $\infty \text{-}\rm{Groupoid}$. I do not yet know the exact definition, but as far as I understand it exists, see this page | |
| Dec 3, 2022 at 12:58 | history | edited | Arshak Aivazian | CC BY-SA 4.0 |
deleted 3 characters in body
|
| Dec 3, 2022 at 9:53 | comment | added | Z. M | What is the internal language of anima (i.e. $\infty$-groupoids up to weak equivalence), or what is expected in this language? I am only aware of the internal language of a regular 1-category or a 1-topos. | |
| Dec 3, 2022 at 5:36 | history | edited | Arshak Aivazian | CC BY-SA 4.0 |
added 1 character in body
|
| Dec 3, 2022 at 5:30 | comment | added | Arshak Aivazian | The thesis is beautifully described in some detail, for example, in this popular article | |
| Dec 3, 2022 at 5:26 | history | asked | Arshak Aivazian | CC BY-SA 4.0 |