Mostra el registre d'ítem simple
A brief introduction to synthetic differential geometry
dc.contributor | Gràcia Sabaté, Francesc Xavier |
dc.contributor.author | Pérez Scornik, Gaspar |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Matemàtiques |
dc.date.accessioned | 2017-09-18T12:54:55Z |
dc.date.available | 2017-09-18T12:54:55Z |
dc.date.issued | 2017-09 |
dc.identifier.uri | http://hdl.handle.net/2117/107735 |
dc.description.abstract | The goal of this thesis is to explore the basic axiomatic theory of Syn- thetic Differential Geometry (SDG). This field aims to put the study of smooth manifolds, and geometry therein, in a topos-theoretic framework. Though the full depth of application and consequences of SDG require knowledge of topos theory to comprehend, a large part of the theory can be appreciated with only some notions of basic category theory (as well as with a standard undergraduate mathematics syllabus). In this work we look at this part of SDG, called the axiomatic the- ory because it is indeed developed axiomatically. Specifically, under the axiomatic theory of SDG we look at differential calculus, then manifolds (their analogue in SDG), vector bundles (the tangent bundle as a particular case), and vector fields (and Lie algebras thereof). |
dc.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Teoria de categories; àlgebra homològica |
dc.subject.lcsh | Categories (Mathematics) |
dc.subject.other | Synthetic Differential Geometry |
dc.subject.other | Smooth Toposes |
dc.subject.other | Smooth Manifolds |
dc.subject.other | Intuitionistic Logic |
dc.title | A brief introduction to synthetic differential geometry |
dc.type | Bachelor thesis |
dc.subject.lemac | Categories (Matemàtica) |
dc.subject.ams | Classificació AMS::18 Category theory; homological algebra::18F Categories and geometry |
dc.identifier.slug | FME-1543 |
dc.rights.access | Open Access |
dc.date.updated | 2017-09-16T05:25:35Z |
dc.audience.educationlevel | Grau |
dc.audience.mediator | Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística |
dc.audience.degree | GRAU EN MATEMÀTIQUES (Pla 2009) |