Timeline for Can Langlands correpondence be restated using topos?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30, 2023 at 18:20 | comment | added | jaylooker | @YemonChoi The Eilenberg-MacLane space $K(G,1)$ is a topos because the classifying topos of a group $G$ (its topos) is its classifying space $BG$. Hatcher's Corollary 1.28 is relevant because the fundamental group and their coverings are important when constructing the sheaf of a topos. The sheaf is a presheaf with a covering condition. | |
| Jul 30, 2023 at 14:46 | review | Close votes | |||
| Aug 4, 2023 at 3:01 | |||||
| Jul 30, 2023 at 14:28 | comment | added | Yemon Choi | In your final sentence, how is the Eilenberg-MacLane space $K(G,1)$ supposed to be a topos? And what is the relevance of Corollary 1.28 of Hatcher? | |
| S Jul 29, 2023 at 23:05 | review | First questions | |||
| Jul 29, 2023 at 23:23 | |||||
| S Jul 29, 2023 at 23:05 | history | asked | jaylooker | CC BY-SA 4.0 |