How to prove equations using diagrams, part 1(epatters.org)
65 points by frostbyte7 | 7 comments
Blog post by Evan Patterson introducing a categorical semantics for e-graph manipulation using diagrams and initial functors, first in a series.
#initial-functors on Hacker News
1 story tagged initial-functors, newest first.