Further Reading

LINCS develops the categorical foundations and six-stage diagnosis-and-repair workflow [ Mahadevan , 2026e ] . LASKO supplies the Lie-algebroid skill-optimization setting used by DIAL-LASKO [ Mahadevan , 2026d ] . Tangent categories and involution algebroids provide the one-direction categorical semantics, while classical double Lie algebroids and their Weil-algebra realization motivate the two-direction comparison [ Cockett and Cruttwell , 2014 , Burke and MacAdam , 2019 , Mackenzie , 2005 , Meinrenken and Pike , 2021 ] .