Login
From:
Topos Institute
(Uncensored)
subscribe
Substitution is also pushout – Topos Institute
https://topos.institute/blog/2025-08-06-substitution-is-pushout/
links
backlinks
Tagged with:
rewriting
Roast topics
Find topics
Find it!
How we can think about pushouts as applying rules via substitution, featuring examples in categorical databases and Datalog.
