Further reading

Gold’s distinction between positive texts and richer informants remains the prototype for presentation-relative learnability [ Gold , 1967 ] . Spelke motivates the heterogeneous fragment cover and the problem of composition across core systems [ Spelke , 2022 , 2023 ] . Moro’s investigation of impossible languages supplies the motivating case in which a biological prior restricts a much larger formal hypothesis class [ Moro , 2023 ] . The language of descent, indexed categories, and homotopy-coherent gluing used here is reviewed in Chapter 1; later chapters turn failures of strict gluing into explicit repair spaces.