At 11:41 +0100 18.2.05, Alessio Guglielmi wrote:
I started developing this in my paper `A System of Interaction and
Structure', to appear in ACM ToCL and available from
<http://iccl.tu-dresden.de/~guglielm/p/SystIntStr.pdf>.
About relation webs: you might find my characterisation of relation
webs excessively set-theoretic. Francois Lamarche wrote a much more
compact, equivalent but different characterisation. Since you're a
category theorist, as he is, you'll probably find his
characterisation more illuminating than mine. I don't know whether
Francois put his paper on the web. -Alessio
