281 followers
@JadeMasterMath @fabgenovese There's also sesqui-pushout rewriting, a generalization of DPO-rewriting, based on pullback complements (rather than pushout complements). Unlike the DPO approach, it allows irreversible rewrite rules (like SPO rewriting). http