On tested Bousfield-Friedlander localizations

Abstract: We demonstrate that a Bousfield-Friedlander localization with a set of test morphisms in the sense introduced by Bandklayder, Bergner, Griffiths, Johnson, and Santhanam can also be characterized as a left Bousfield localization at the set of test morphisms. This viewpoint enables us to establish a homogeneous model structure associated with any calculus arising from a Bousfield-Friedlander localization of this form. As a corollary, we show that homogeneous functors in discrete calculus coincide up to homotopy with those in Goodwillie calculus. Finally, we illustrate this framework by proving that the polynomial model structure of Weiss calculus is a particular instance of tested Bousfield-Friedlander localization.