On weighted homotopy limits in Kan-enriched categories

Alexander Campbell – 26 May 2021

Martina Rovelli's recently published paper on 'Weighted limits in an (oo,1)-category' (Applied Categorical Structures) concludes with a proof that, in a Kan-enriched category with weighted homotopy limits, weighted homotopy limits can be expressed as conical homotopy limits by means of Lurie's unstraightening construction. In this talk, I will give a much simpler, direct proof of a slightly stronger result.