Showing 2021 · math.CTShow all
2 papers · 2 filters
math.CT2021
Adjoining colimits
Andrew W. Macpherson
This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "construct…
math.CT2021
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…