Further reading

Kan extensions, mates, and pasting are developed in Mac Lane [ 1971 ] , Riehl [ 2016 ] ; their derived versions are treated by Riehl [ 2014 ] . Transfer across information structures should be read against Witsenhausen’s intrinsic formulation [ Witsenhausen , 1971 ] . Tangent compatibility uses Cockett and Cruttwell [ 2014 ] . The structural package and compositional transport theorem are proposed here as the bridge from UOCL to lifelong learning.