Pushforwards in Inverse Homotopical Diagrams

Chris Kapulkin, Yufeng Li

We establish a sufficient condition for the category of homotopical inverse diagrams to be closed under pushforward inside the category of inverse diagrams in a fibration category.