PROPs for Linear Systems

Simon Wadsley, Nick Woods

A PROP is a symmetric monoidal category whose objects are the nonnegative integers and whose tensor product on objects is addition. A morphism from $m$ to $n$ in a PROP can be visu…