Stochastic Moore machines (high-brow version)
Definition. [Myers 2023Myers, D.J. 2023. Categorical Systems Theory. http://davidjaz.com/Papers/DynamicalBook.pdf.]. An open stochastic system is a stochastic lens
Definition. [Myers 2023Myers, D.J. 2023. Categorical Systems Theory. http://davidjaz.com/Papers/DynamicalBook.pdf.]. A morphism of open stochastic systems is a lens-chart square