Further reading

Universal coalgebra supplies the behavioral counterpart to limiting identification [ Rutten , 2000 ] . Categorical foundations appear in Mac Lane [ 1971 ] , Riehl [ 2016 ] , Riehl and Verity [ 2022 ] ; developmental motivation in Piaget [ 1952 ] , Spelke [ 2022 ] . Universal decision models, LINCS, and infinitesimal creativity provide the bridge [ Mahadevan , 2021 , 2026c , 2026b ] . The Anthropic report documents the Claude–Prove2Me formalization of Fermat’s Last Theorem and links the complete Lean development [ Anthropic , 2026 ] . OpenAI’s Astra statement describes its Critical cybersecurity capability assessment and the accompanying layered safeguards [ OpenAI , 2026a ] .