Buy A Functorial Model Theory Newer Applications To Algebraic Topology Descriptive Sets And Computing Categories Topos