A 2-Categorical Approach to the Pi Calculus
5 hours ago
An occasional blog by a "working mathematician" in the UK, focussing on mathematical and science-related items. The title is in homage to the classic text "Categories for the Working Mathematician" by Saunders Mac Lane. This book was where I discovered the language of categories and a perspective that has influenced my work ever since. Non-specialists will be pleased to hear that I don't intend blogging on this subject (well, not much!).