Author: Mike Shulman Format: MarkdownItexAdded link to Vaughan Pratt's Linear Process Algebra.
<a href="https://ncatlab.org/nlab/revision/diff/Chu+construction/32">diff</a>, <a href="https://ncatlab.org/nlab/revision/Chu+construction/32">v32</a>, <a href="https://ncatlab.org/nlab/show/Chu+construction">current</a>
Added link to Vaughan Pratt’s Linear Process Algebra.
Author: Mike Shulman Format: MarkdownItexAdded the universal property, generalized from Pavlovic to polycategories.
<a href="https://ncatlab.org/nlab/revision/diff/Chu+construction/34">diff</a>, <a href="https://ncatlab.org/nlab/revision/Chu+construction/34">v34</a>, <a href="https://ncatlab.org/nlab/show/Chu+construction">current</a>
Added the universal property, generalized from Pavlovic to polycategories.