Notes on category theory and the pi calculus


I just spent the last semester learning about category theory and concurrency , and I'm still confused by the whole thing.

But I put together my notes in an effort to practice my writing and straighten out some of my thinking, so I figured I'd post them here to see if they'd interest anyone.
There are definitely a lot of 'not-quite-right' details inside.