Agent-Based Models (Part 4)

I learned a lot from the comments on Part 3 and also this related thread on the Category Theory Community Server:

• Coalgebras, operational semantics and the Giry monad.

I’d like to thank Matteo Cappucci, David Egolf, Tobias Fritz, Tom Hirschowitz, David Jaz Myers, Mike Shulman, Nathaniel Virgo and many others for help. This list is not inclusive, and I apologize to everyone I left out. Sorry! To see who said what, please follow the links and read the discussions there.

I’d like to summarize ...