A (2,1)-model structure for conceptual completeness
Category Theory
2022-02-17 v1
Abstract
We prove the (2,1)-categorical analogue of the small object argument and give a (2,1)-model structure on the category of small coherent categories, coherent functors and natural isomorphisms. It is induced by a higher dimensional example of a reflective factorisation system, determined by the full subcategory of pretoposes. We prove it to be right proper and the generating trivial cofibrations are described. Whitehead's theorem gives conceptual completeness.
Cite
@article{arxiv.2202.08212,
title = {A (2,1)-model structure for conceptual completeness},
author = {Kristóf Kanalas},
journal= {arXiv preprint arXiv:2202.08212},
year = {2022}
}
Comments
arXiv admin note: text overlap with arXiv:2104.13239