Robin Milner 'Space and Motion of Communicating Agents'
colcord opened this issue · comments
Hi, I came to study category theory because Milner gave it credit in this book. I'm an amateur, and struggling, but I though you might enjoy the book as a practical application of the double categories of space graphs and link graphs.
The space and motion of communicating agents
Robin Milner
December 1, 2008
https://www.cl.cam.ac.uk/archive/rm135/Bigraphs-draft.pdf
The introduction in that pdf is what got me excited about the whole field.
I was wondering if any one else in your field cites him. I see there is a conference in December in Edinburgh where he also taught. Is anyone there going to give a paper on him?
Hi, thanks for the submission!
Where are double categories used in the book? I can't find any mention of them