Very nice! Since distributed systems are already mentioned itt, I wonder how category theory would map the recently-ish published CALM Theorem [1] which features monotonic ordering as a defining characteristic.

[1]: https://m-cacm.acm.org/magazines/2020/9/246941-keeping-calm/...