ミスロフ（Mislove）やパブロビック（Pavlovic）等による"Duality for Labelled Markov Processes"（http://citeseer.ist.psu.edu/642236.html）という割と短い論文がある。"Processes"は、マルコフ過程の意味のプロセスと、計算科学のソフトウェアとしてプ…

本編の「はじめての圏論」の第5歩、第6歩は、ちょっと先走りだったかもね（番外は“番外”だからまーいいとしても）。「圏論によりソフトウェアを理解する」のが僕の問題意識だから、話がソッチ方向にいってしまうのは、まー、いたしかたないのだけど、ソフト…