Further reading

Tangent categories and their relation to differential structure are treated by Cockett and Cruttwell [ 2014 ] and Cockett et al. [ 2020 ] ; synthetic infinitesimals are developed by Kock [ 2006 ] . Classical proximal stability begins with Rockafellar [ 1976 ] . The Adam counterexample and convergent variants are analyzed by Reddi et al. [ 2019 ] . The three-axis doctrine and tangent repair certificate are proposed here.