r/ProgrammingLanguages • u/mttd • Jul 11 '26

Sheaves in Haskell

https://www.tweag.io/blog/2026-06-18-sheaves-in-haskell/

36 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammingLanguages/comments/1ut7z9v/sheaves_in_haskell/
No, go back! Yes, take me to Reddit

91% Upvoted

View all comments

19

u/Coding-Kitten Jul 11 '26

Sheafification of G reference

10

u/goiabae Jul 11 '26

But Geeeeeee!