Ars Mathematica

Alerted by a post of sigfpe, I learnt about George Spencer-Brown’s 1972 book Laws of Form.  Reading Louis Kauffman’s account of the theory, I was struck by the similarity to Robin Milner’s theory of bigraphs (see here for papers). From a talk I heard him give a few years ago, I believe that Milner’s theory was originally intended as a rigorous category-theoretic account of hyperlinks in computer networks.  Has anyone explored the connections between these two mathematical theories?

This entry was posted on Saturday, July 29th, 2006 at 6:46 am and is filed under Computer science, Mathematics, Physics. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.