ベイズの定理とかベイズの公式が何を指すかはいまいちハッキリしませんが、「マルコフ圏、ベイズの定理、陰関数定理」の最初の節で引用した定理のことだと言って間違いにはならないでしょう。フリッツ〈Tobias Fritz〉の"A synthetic approach to Markov ker…