2019/04/04 by Jean Cerqueira Berni, Berni, Jean Cerqueira, Hugo Luiz Mariano +1
Mathematics · #08B99 #18C05 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Rings and Algebras (math.RA) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.1904.02728
openalex publication_date 2019/04/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper we present some basic results of the Universal Algebra of C^∞-rings which were nowhere to be found in the current literature. The outstanding book of I. Moerdijk and G. Reyes,[24], presents the basic (and advanced) facts about C^∞-rings, however such a presentation has no universal algebraic "flavour". We have been inspired to describe C^∞-rings through this viewpoint by D. Joyce in [15]. Our main goal here is to provide a comprehensive material with detailed proofs of many known "taken for granted" results and constructions used in the literature about C^∞-rings and their applications - such proofs either could not be found or were merely sketched. We present, in detail, the main constructions one can perform within this category, such as limits, products, homomorphic images, quotients, directed colimits, free objects and others, providing a "propaedeutic exposition" for the reader's benefit.