Browsing Department of Pure Mathematics and Mathematical Statistics (DPMMS) by Subject "Categorical Logic"
Now showing items 11 of 1

Infinitesimal Models of Algebraic Theories
(University of CambridgeDepartment of Pure Mathematics and Mathematical StatisticsHomerton College, 20171125)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 ...