Pushforwards in Inverse Homotopical Diagrams

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.