Pushforwards in Inverse Homotopical Diagrams

2025/06/04 by Kapulkin, Chris, Li, Yufeng
#18N45 (primary) #55U35(secondary) #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2506.04472

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.

Related

• The homotopy groups of the inverse limit of a tower of fibrations
• Univalence for inverse EI diagrams
• Homotopical inverse diagrams in categories with attributes
• Homotopy theory of diagrams
• Path spaces of pushouts