Homotopical inverse diagrams in categories with attributes

Chris Kapulkin, Peter LeFanu Lumsdaine

We define and develop the infrastructure of homotopical inverse diagrams in categories with attributes. Specifically, given a category with attributes $C$ and an ordered homotopica…