Fibrations and Koszul duality in locally Cartesian localisations

Andrew W. Macpherson

I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a K…