무한소 인과관계 (Infinitesimal Causality)

본 논문은 접선 번들 의미론 (tangent-bundle semantics)을 갖춘 프로베니우스 마르코프 범주 (Frobenius Markov categories) 내에서의 무한소 인과관계 (infinitesimal causality)에 대한 범주론적 설명을 소개합니다. IDC는 개입 (interventions)이 복제/폐기 (copy/discard) 구조의 접선 변형 (tangent deformations)으로 작용하는 무한소 계층을 포착합니다. 두 가지 구별되는 프로베니우스 구조가 상호작용합니다: (1) 복제, 비교 및 폐기를 인코딩하는 고전적 변수 상의 범주론적 프로베니우스 대수 (categorical Frobenius algebra); 그리고 (2) 대수적 프로베니우스 구조와는 구별되는, 즉 개입 분포의 인볼루티브 폐쇄 (involutive closure)를 의미하는 기하학적 프로베니우스 적분 가능성 조건 (geometric Frobenius integrability condition)입니다. 범주론적 인과적 충분성 (Categorical causal sufficiency)은 이 두 개념의 호환성으로 정의됩니다. 핵심적인 관찰은 구조적 인과 모델 (structural causal models)의 경우, 무한소 인과관계가 외생 변수 (exogenous variables)에 대한 결정론적 메커니즘 (deterministic mechanisms)의 슬라이스 (slice)에서 가장 자연스럽게 공식화되며, 가시적인 확률 커널 (stochastic kernels)은 푸시포워드 (pushforward) 이후에만 얻어진다는 것입니다. 개입은 프로베니우스 복제/폐기 연산을 변형하는 접선 벡터 (tangent vectors)이며, 이들의 리 브라켓 (Lie brackets)은 이러한 변형이 고전적 정보 흐름 구조를 보존하는지 여부를 측정합니다. Pearl의 do-calculus는 개입 항등식 (intervention identities)의 가이드 예시로 사용됩니다: 무관한 개입을 무시하는 것은 counit 불변성 (counit invariance)에 대응하고, 작용/관찰 교환 (action/observation exchange)은 푸시포워드와의 coproduct 호환성에 대응하며, 독립성은 가시적 개입 분포의 인볼루티브 브라켓 폐쇄 (involutive bracket closure)에 대응합니다.