Some algebraic and logical aspects of C∞-Rings
As pointed out by I. Moerdijk and G. Reyes in [63], C∞-rings have been studied specially for their use in Singularity Theory and in order to construct topos models for Synthetic Differential Geometry. In this work, we follow a complementary trail, deepening our knowledge about them thro...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Universidade de São Paulo
2018
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/45/45131/tde-14022019-203839/ |