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
How we can think about pushouts as applying rules via substitution, featuring examples in categorical databases and Datalog.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
