Australian Category Seminar

On weighted homotopy limits in Kan-enriched categories

Alexander Campbell·26 May 2021

Martina Rovelli's recently published paper on 'Weighted limits in an (∞,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.

Back