Very nice! Since distributed systems are already mentioned itt, I wonder how category theory would map the recently-ish published CALM Theorem [1] which feature

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/fulltext https://m-cacm.acm.org/magazines/2020/9/246941-keeping-calm/...