Further Reading

Pearl’s structural account of causality supplies the standard distinction between observational association and intervention, as well as the model classes within which identifiability is normally posed [ Pearl , 2009 ] . The immediate technical precursor to CLIC is BRIDGE/SKFM, which uses intervention-induced vector fields and Lie-bracket geometry to diagnose latent-confounded causal structure [ Mahadevan , 2026a ] . Infinitesimal Causality develops the broader tangent-space interpretation of causal mechanisms and interventions on which that construction rests [ Mahadevan , 2026c ] .

For the categorical setting, the LINCS framework treats failed composition as a typed structural diagnostic rather than a scalar loss [ Mahadevan , 2026e ] . Involution algebroids provide an abstract Lie-theoretic semantics inside tangent categories [ Burke and MacAdam , 2019 ] , while Mackenzie’s treatment of Lie groupoids and Lie algebroids gives the classical geometric background [ Mackenzie , 2005 ] . The distinction made in this chapter between a local bracket repair and a globally admissible causal construction is closely related to the classical integrability problem for Lie brackets [ Crainic and Fernandes , 2003 ] . These sources motivate CLIC’s geometry; its additional requirements—explicit unsupported alternatives, counter-witness interventions, uncertainty propagation, and conservative admission—are experimental safeguards against treating nonclosure alone as proof of a particular causal explanation.