Classifying toposes for some theories of $\mathcal{C}^{\infty}-$rings
Logic
2018-11-22 v1 Category Theory
Abstract
In this paper we present classifying toposes for the following theories: the theory of rings, the theory of local rings and the theory of von Neumann regular rings. The classifying toposes for the first two theories were stated without proof by Ieke Moerdijk and Gonzalo Reyes on the page 366 of \cite{MSIA}, where they assert that the topos classifies the theory of rings and that the smooth Zariski topos classifies the theory of local rings.
Keywords
Cite
@article{arxiv.1811.08838,
title = {Classifying toposes for some theories of $\mathcal{C}^{\infty}-$rings},
author = {Jean Cerqueira Berni and Hugo Luiz Mariano},
journal= {arXiv preprint arXiv:1811.08838},
year = {2018}
}