COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

## Infinitesimal models of theoriesAdd to your list(s) Download to your calendar using vCal - Filip Bár (DPMMS)
- Tuesday 18 October 2016, 14:15-15:15
- MR5, Centre for Mathematical Sciences.
If you have a question about this talk, please contact Tamara von Glehn. Can we make precise the idea that the geometry of a space is affine, euclidean, or projective at an infinitesimal level? Yes, we can, in principle. In fact, there is a construction for first-order theories, which we call their infinitesimalisation. The models of the infinitesimalisation may be considered as spaces, which are models of that theory at an infinitesimal level. What is considered to be at an infinitesmal level for a space is defined by a structure, which we call infinitesimal structure. For a one-sorted first-order theory the construction of infinitesimalisation introduces an infinitesimal structure, replaces every operation by a partial operation with the domains of definition specified by the infinitesimal structure, and every relation is required to factor through the infinitesimal structure. The axioms of the theory are adapted accordingly. With these notions at hand we can show that every formal manifold in Synthetic Differential Geometry is an infinitesimal model of the algebraic theory of affine combinations, and that for every Lie group the space of points, which are infinitesimal neighbours of the neutral element, yields an infinitesimal model of a group. This talk is part of the Category Theory Seminar series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Category Theory Seminar
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- Hanchen DaDaDash
- Interested Talks
- MR5, Centre for Mathematical Sciences
- School of Physical Sciences
- bld31
- ndb35's list
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsHistory of science for mathmos Enterprise Tuesday 2012/2013 Newnham College MCR Speaker Series## Other talksLiberalizing Contracts: Nineteenth Century promises through literature, law and history Yikes! Why did past-me say he'd give a talk on future discounting? White dwarfs as tracers of cosmic, galactic, stellar & planetary evolution What is the Market Potential of Multilingualism? Challenges to monetary policy in a global context 'Nobody comes with an empty head': enterprise Hindutva and social media in urban India |