Show simple item record

dc.contributorGràcia Sabaté, Francesc Xavier
dc.contributor.authorPérez Scornik, Gaspar
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Matemàtiques
dc.date.accessioned2017-09-18T12:54:55Z
dc.date.available2017-09-18T12:54:55Z
dc.date.issued2017-09
dc.identifier.urihttp://hdl.handle.net/2117/107735
dc.description.abstractThe 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.isoeng
dc.publisherUniversitat Politècnica de Catalunya
dc.rights.urihttp://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.lcshCategories (Mathematics)
dc.subject.otherSynthetic Differential Geometry
dc.subject.otherSmooth Toposes
dc.subject.otherSmooth Manifolds
dc.subject.otherIntuitionistic Logic
dc.titleA brief introduction to synthetic differential geometry
dc.typeBachelor thesis
dc.subject.lemacCategories (Matemàtica)
dc.subject.amsClassificació AMS::18 Category theory; homological algebra::18F Categories and geometry
dc.identifier.slugFME-1543
dc.rights.accessOpen Access
dc.date.updated2017-09-16T05:25:35Z
dc.audience.educationlevelGrau
dc.audience.mediatorUniversitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Except where otherwise noted, content on this work is licensed under a Creative Commons license: Attribution-NonCommercial-ShareAlike 3.0 Spain