A Functorial Model Theory (Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos) - 9781774633106