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

University of Cambridge > Talks.cam > Junior Algebra/Logic/Number Theory seminar > An Introduction to Classifying Toposes

## An Introduction to Classifying ToposesAdd to your list(s) Download to your calendar using vCal - Guilherme Frederico Lima de Carvalho e Silva (University of Cambridge)
- Friday 14 October 2011, 14:00-15:00
- MR4.
If you have a question about this talk, please contact Jonathan Nelson. The canonical place to interpret a first-order theory is the category of sets considering the well-behaved interaction between the syntax of the theory and the semantics that it provides. For more general theories (e.g. infinitary ones) this interaction is not so well-behaved, but by working in a more general setting we may find a suitable generalised universe of sets, i.e. a topos, where analogous interactions may be found. Thus Topos Theory can be thought of as a generalised Model Theory, where the classifying topos of a theory generalises the role that the category of sets plays for first-order theories. I will assume the audience is familiar with the notions of adjunction and categorical limit, and will focus at least half of the talk on introducing the notion of topos along with many examples since this material shall serve as pre-requisite for many of the other talks given by the Category Theory group. This talk is part of the Junior Algebra/Logic/Number Theory seminar series. ## This talk is included in these lists:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- Hanchen DaDaDash
- Interested Talks
- Junior Algebra/Logic/Number Theory seminar
- MR4
- School of Physical Sciences
- bld31
- ndb35's list
Note that ex-directory lists are not shown. |
## Other listsSkewness, Heavy Tails, Market Crashes, and Dynamics Cavendish Knowledge Exchange Working Lunch Series Lady Margaret Lectures## Other talksCyclic Peptides: Building Blocks for Supramolecular Designs Developmental cognitive neuroscience THE PYE STORY Carers and Careers: The Impact of Caring on Academic Careers How does functional neuroimaging inform cognitive theory? CANCELLED - Methodology Masterclass: Exploring the pedagogic possibilities of new diaspora formations and transnationalism. Stromal microenvironments and the control T-cell development and selection Speculations about homological mirror symmetry for affine hypersurfaces Knot Floer homology and algebraic methods Refugees and Migration Universality in Active Matter |