@misc{indiciaeac4fa467e6d3, title = {Homotopical inverse diagrams in categories with attributes}, author = {Chris Kapulkin and Peter LeFanu Lumsdaine}, year = {2020}, doi = {10.1016/j.jpaa.2020.106563}, url = {https://arxiv.org/abs/1808.01816}, note = {Source identifier: 1808.01816} }