Understanding sheaves §1 – Merlin's Notebook

Sheaves came up in my last post, so , since I’m quite new to sheaves, I figured it would be a good idea to learn some more about them. Naturally, I decided to share my notes with you. The boo…

[…] Tree-shaped structured decompositions are among the simplest to compute upon. The tree-shape clearly displays the recursive structure of any graph that is obtained as a colimit of such a decomposition and this structure can be exploited algorithmically. Let’s see how to compute sheaves on such decompositions. (By the way, if you’re new to sheaves, I’ve collected some notes on sheaves in a previous post; you can find it here.) […] Loading… Reply

related reading

• Research Debtdistill.pub
• Idea Listjzhao.xyz
• annaabrandenberger.github.io
• Napkin.pdfvenhance.github.io
• CSC 151 - Decompositioneikmeier.sites.grinnell.edu
• Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
• GitHub - socketteer/loom: Multiversal tree writing interface for human-AI collaboration · GitHubgithub.com
• GitHub - Egonex-AI/Understand-Anything: Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini CLI,github.com
• GitHub - Experience-Monks/math-as-code: a cheat-sheet for mathematical notation in code form · GitHubgithub.com
• Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
• Things I don't know - Codeforcescodeforces.com
• 02_GyarfasLehel_AHellyTypeProblemInTrees.pdfusers.renyi.hu