Elimination of Quotients in Various Localisations of Premodels into Models

• Main Author: Rémy Tuyéras
• Format: Article
• Language: English
• Published: MDPI AG 2017-07-01
• Series: Mathematics
• Subjects: algebraic objects; quotients; small object argument
• Online Access: https://www.mdpi.com/2227-7390/5/3/37

The contribution of this article is quadruple. It (1) unifies various schemes of premodels/models including situations such as presheaves/sheaves, sheaves/flabby sheaves, prespectra/ Ω -spectra, simplicial topological spaces/(complete) Segal spaces, pre-localised rings/localised rings, functors in categories/strong stacks and, to some extent, functors from a limit sketch to a model category versus the homotopical models for the limit sketch; (2) provides a general construction from the premodels to the models; (3) proposes technics that allow one to assess the nature of the universal properties associated with this construction; (4) shows that the obtained localisation admits a particular presentation, which organises the structural and relational information into bundles of data. This presentation is obtained via a process called an elimination of quotients and its aim is to facilitate the handling of the relational information appearing in the construction of higher dimensional objects such as weak ( ω , n ) -categories, weak ω -groupoids and higher moduli stacks.