Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper develops a categorical framework for understanding infinitesimal causality within Frobenius Markov categories, integrating tangent-bundle semantics to characterize how interventions modify the copy/discard structure. By analyzing the interaction between categorical and geometric Frobenius structures, the authors define categorical causal sufficiency and reveal that infinitesimal causality is best represented through deterministic mechanisms over exogenous variables. A significant finding is that interventions, conceptualized as tangent vectors, maintain classical information flow, with their Lie brackets serving as a measure of this preservation.
Infinitesimal interventions can reshape classical information flow in causal models, revealing a deeper layer of causal structure than previously understood.
This paper introduces a categorical account of infinitesimal causality in Frobenius Markov categories equipped with tangent-bundle semantics. IDC captures the infinitesimal layer in which interventions act as tangent deformations of copy/discard structure. Two distinct Frobenius structures interact: (1) the categorical Frobenius algebra on classical variables encoding copying, comparing, and discarding; and (2) the geometric Frobenius integrability condition, namely involutive closure of the intervention distribution, distinct from the algebraic Frobenius structure. Categorical causal sufficiency is defined as the compatibility of these two notions. A key observation is that, for structural causal models, infinitesimal causality is most naturally formulated in the slice of deterministic mechanisms over exogenous variables, with visible stochastic kernels obtained only after pushforward. Interventions are tangent vectors that deform the Frobenius copy/discard operations; their Lie brackets measure whether this deformation preserves classical information-flow structure. Pearl's do-calculus is used as a guiding example of intervention identities: ignoring irrelevant interventions corresponds to counit invariance, action/observation exchange to coproduct compatibility with pushforward, and independence to involutive bracket closure of the visible intervention distribution.