Further reading

Gold provides the classical distinction between finite-prefix consistency and identification in the limit [ Gold , 1967 ] . Universal imitation games motivate behavioral stabilization under coinductive presentations [ Mahadevan , 2024 ] . The categorical notions of equivalence, indexed structure, and coherent transport used here are developed systematically by Mac Lane and Riehl [ Mac Lane , 1971 , Riehl , 2016 ] . Chapters 3 and 3 supply the presentation-relative semantics that UOCL makes algorithmic. Cockett and Cruttwell supply the axiomatic tangent-category setting used by TUOCL [ Cockett and Cruttwell , 2014 ] ; the coalgebra construction of Cockett et al. [ 2020 ] explains how a differential category can generate a tangent world without identifying the two notions. The LINCS and DIAL books motivate its role in infinitesimal comparison and repair [ Mahadevan , 2026c , 2026b ] .