@Lorxus translated the proofs here into categorical language IIRC (and found these deterministic versions much nicer than the older stochastic versions).
oh good to know, i was thinking about how one might get redund and mediator formally dual to each other. is this written up?
@Lorxus translated the proofs here into categorical language IIRC (and found these deterministic versions much nicer than the older stochastic versions).
oh good to know, i was thinking about how one might get redund and mediator formally dual to each other. is this written up?