An homotopical description of small presheaves
Category Theory
2021-12-14 v1
Abstract
This article describes the cocompletion of a category with finite limits as the homotopy category of some equivalence 2-groupoids in coproducts of elements of . This yields a simple link between several definitions of an infinitary pretopos.
Cite
@article{arxiv.2112.06092,
title = {An homotopical description of small presheaves},
author = {Brice Le Grignou},
journal= {arXiv preprint arXiv:2112.06092},
year = {2021}
}
Comments
33 pages, comments are welcome