Further Reading

LASKO develops skill optimization over Lie algebroids and supplies the classical geometric foundation for OPTIC [ Mahadevan , 2026d ] . Burke and MacAdam define involution algebroids in tangent categories, while MacAdam develops their functorial semantics [ Burke and MacAdam , 2019 , MacAdam , 2023 ] . Mackenzie’s treatment of Lie groupoids and Lie algebroids provides the classical background [ Mackenzie , 2005 ] . SkillOpt supplies the complementary engineering pattern in which an agent improves an external reusable skill document under evaluation [ Yang et al. , 2026 ] .