Dear Categorically Inclined, A draft of a paper demonstrating an encoding of knots as processes in Milner's pi-calculus is now available on arXiv<http://arxiv.org/abs/1009.2107>. While not couched in the language of category theory, it may still be of some interest. In particular, the point made in a previous thread applies in this situation. The failure of categorical composition to align well with concurrent composition (in a manner that respects Curry-Howard) makes presenting this encoding in a more categorical fashion somewhat prohibitive. Best wishes, --greg -- L.G. Meredith Managing Partner Biosimilarity LLC 7329 39th Ave SW Seattle, WA 98136 +1 206.650.3740 http://biosimilarity.blogspot.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]