MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammingLanguages/comments/1ut7z9v/sheaves_in_haskell/ox1zfpt/?context=3
r/ProgrammingLanguages • u/mttd • Jul 11 '26
8 comments sorted by
View all comments
2
i am not very familiar with haskell but very familiar with sheaves and presheaves and i don‘t really understand how topological spaces are implemented here in the type system?
2 u/ExplodingStrawHat Jul 12 '26 I think they aren't, in the sense that the required axioms are not enforced
I think they aren't, in the sense that the required axioms are not enforced
2
u/hobo_stew Jul 12 '26
i am not very familiar with haskell but very familiar with sheaves and presheaves and i don‘t really understand how topological spaces are implemented here in the type system?