An homotopical description of small presheaves
arXiv:2112.06092
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.
33 pages, comments are welcome