Giters

mattecapu / awesome-double-categories

A list of works and resources about double category theory, with a particular focus on applications.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Robin Milner 'Space and Motion of Communicating Agents'

colcord opened this issue · comments

commented

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?

commented

Hi, thanks for the submission!
Where are double categories used in the book? I can't find any mention of them