Categorical Logic, Message Passing, and Relational Quantum Mechanics

Category theory to me is like a shiny new car to a fellow that can’t drive: it looks impressive and I want it! Category theory, though, has always been taught as little more than an elaborate game of connect the dots (there are the dots, “objects”, and then there are the arrows, the “morphisms”). Well [...]