離散変数に対する異なるが同形の有向非巡回グラフを持つ因果モデルの等価性を決定するためのカテゴリ理論基準を開発した。Jacobs et al.(2019)に従って,因果ストリング図の確率的解釈として因果モデル,すなわち,有限集合のカテゴリーStochと確率行列のグラフGの「syn的分類Syn_Gから,関数的モデルを定義した。次に,因果モデルの等価性を,それぞれΦ-抽象とΦ-等価性と呼ぶ2つのそのような関数の間の自然変換または同形写像に関して定義した。1つのモデルがもう1つのΦ引き抜きである場合,前者の介入計算が後者のそれに一貫して変換できることを示した。また,変換が決定論的である場合,モデルがΦ引き抜きを収容する条件を同定した。【JST・京大機械翻訳】