Timeline for Stabilization of taking presheaf categories
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 23, 2022 at 21:54 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 34 characters in body
|
| Sep 23, 2022 at 21:37 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 2358 characters in body
|
| Sep 23, 2022 at 14:41 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 52 characters in body
|
| Sep 23, 2022 at 11:53 | vote | accept | Alec Rhea | ||
| Sep 23, 2022 at 10:38 | comment | added | Peter LeFanu Lumsdaine | Worth noting another ambiguity in the question — what are the maps $C_n \to C_{n+1}$? Besides the Yoneda embedding, they could be taken using either of the two covariant actions of $\widehat{(-)}$, i.e. the left/right adjoints $(-)_!$, $(-)_*$. In particular, an analogy that springs to mind for me (and I guess OP had in mind) is the cumulative power-set hierarchy from set theory — and that uses the analogue of $(-)_!$ for its inclusion maps, not the analogue of Yoneda (which would be the “singleton” embedding $X \to PX$). | |
| Sep 23, 2022 at 9:19 | comment | added | fosco | Ah, I didn't see you mentioned the exact same thing :) sorry | |
| Sep 22, 2022 at 21:04 | history | undeleted | Simon Henry | ||
| Sep 22, 2022 at 21:04 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 512 characters in body
|
| Sep 22, 2022 at 20:18 | history | deleted | Simon Henry | via Vote | |
| Sep 22, 2022 at 19:56 | history | edited | Simon Henry | CC BY-SA 4.0 |
deleted 1 character in body
|
| Sep 22, 2022 at 19:02 | history | answered | Simon Henry | CC BY-SA 4.0 |