[WIP] Add pushout of sheaves over a span of graph homomorphisms#35
Open
Copilot wants to merge 3 commits into
Open
[WIP] Add pushout of sheaves over a span of graph homomorphisms#35Copilot wants to merge 3 commits into
Copilot wants to merge 3 commits into
Commits
Commits on May 6, 2026
- authored
- andauthored
Commits on May 11, 2026
- andauthored
