User Portlet
| Discussions |
|---|
| ![enter image description here][1] ### Goal: model multiway rewrite systems as a structured virtual double category ${\text{DPO}}(\mathbb C)$. ${\text{DPO}}(\mathbb C):{\text{vdc}}$ models composites of paths of rewrites and how they interact... |