My manager dropped a bomb on me about 20 years ago as a young engineer and had me be a liaison with some of the people doing research on the Pi calculus. Still

My manager dropped a bomb on me about 20 years ago as a young engineer and had me be a liaison with some of the people doing research on the Pi calculus. Still somewhat shaken to this day by that very first meeting, it really didn't go that well. I really don't grok the math behind it and it is very nice to see this pop up, and Bartosz definitely knows his stuff. I'll give it another whirl. Hats off to him for trying to make it approachable. Also Brian Beckman and others have often had interesting things to say in these areas. http://rebcabin.github.io/blog/2013/03/17/category-theory-reveals-value-of-autoiconicity/ http://rebcabin.github.io/blog/2013/03/17/category-theory-re... These days I understand the formal math behind it even less than I used to, which is to say abysmally; however it did teach me some things about how to think about composition that have subconsciously been influential I think over the years. Nice post.