okay back to your regularly scheduled polemic:
whoever the FUCK said that a topological space ("nice" or not whatever idc) presents a homotopy type, you were SADLY MISTAKEN
cuz there's actually two =)
one of them is (pre-)sheafy, and the other one is co-(pre-)sheafy =0
Conversation
ooh are you talking about the localic one you get from local systems?
1
1
ummm idk am I? that sounds similar to what im doing but i dunno.
tldr if u dont wanna click through is: u look at all cech nerves of open covers of X. These fit into a cofiltered diagram and that should represent something like a pro-(∞-groupoid) (bit fuzzy on the details lmao)
1
1
Replying to
oh interesting, i saw the reply that said this had to do with shape theory but it’s not a construction i know anything about. also hmm maybe the “localic” is me confusing two things. what i had in mind is to pass from a space to local systems of oo-groupoids on that space
and from there to apply a reconstruction theorem to get some kind of oo-groupoid out - maybe this is just shape stuff again
1
1
hmm i don't understand what you're referring to enough to really be able to compare...
but fwiw all of this is basically motivated by
well
1) twitter.com/schala163/stat
but more generally like
2)
Quote Tweet
thinking about how to make homotopical sense of local triviality again...
1
1
Show replies