Pushforwards in Inverse Homotopical Diagrams

Abstract

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.

12 pages; comments welcome