Use this URL to cite or link to this record in EThOS:  http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.723534 
Title:  Infinitesimal models of algebraic theories  
Author:  Bár, Filip 
ORCID:
0000000216555495
ISNI:
0000 0004 6425 5387


Awarding Body:  University of Cambridge  
Current Institution:  University of Cambridge  
Date of Award:  2017  
Availability of Full Text: 


Abstract:  
Smooth manifolds have been always understood intuitively as spaces that are infinitesimally linear at each point, and thus infinitesimally affine when forgetting about the base point. The aim of this thesis is to develop a general theory of infinitesimal models of algebraic theories that provides us with a formalisation of these notions, and which is in accordance with the intuition when applied in the context of Synthetic Differential Geometry. This allows us to study wellknown geometric structures and concepts from the viewpoint of infinitesimal geometric algebra. Infinitesimal models of algebraic theories generalise the notion of a model by allowing the operations of the theory to be interpreted as partial operations rather than total operations. The structures specifying the domains of definition are the infinitesimal structures. We study and compare two definitions of infinitesimal models: actions of a clone on infinitesimal structures and models of the infinitesimalisation of an algebraic theory in cartesian logic. The last construction can be extended to firstorder theories, which allows us to define infinitesimally euclidean and projective spaces, in principle. As regards the category of infinitesimal models of an algebraic theory in a Grothendieck topos we prove that it is regular and locally presentable. Taking a Grothendieck topos as a base we study lifts of colimits along the forgetful functor with a focus on the properties of the category of infinitesimally affine spaces. We conclude with applications to Synthetic Differential Geometry. Firstly, with the help of syntactic categories we show that the formal dual of every smooth ring is an infinitesimally affine space with respect to an infinitesimal structure based on nilsquare infinitesimals. This gives us a good supply of infinitesimally affine spaces in every welladapted model of Synthetic Differential Geometry. In particular, it shows that every smooth manifold is infinitesimally affine and that every smooth map preserves this structure. In the second application we develop some basic theory of smooth loci and formal manifolds in naive Synthetic Differential Geometry using infinitesimal geometric algebra.


Supervisor:  Johnstone, Peter  Sponsor:  EPSRC  
Qualification Name:  Thesis (Ph.D.)  Qualification Level:  Doctoral  
EThOS ID:  uk.bl.ethos.723534  DOI:  
Keywords:  Infinitesimals ; Infinitesimally Affine Spaces ; Synthetic Differential Geometry ; Infinitesimalisation ; Algebraic Theories ; Categorical Logic ; Clones ; Cinfinity Rings ; Welladapted models ; Topos ; Infinitesimal Geometric Algebra  
Share: 