Academics

Introduction to Topos Theory | Background: universal algebra

Time:2023-10-10, TUESDAY 17:30-18:30

Venue:Shuangqing Complex, B627

Organizer:Nathan Carruth 卢天赐

Speaker:Nathan Carruth 卢天赐 (YMSC)

opos theory is a branch of mathematics, based on category theory, which has connections to both algebraic geometry and mathematical logic. Within mathematical logic it can be used to give alternative, more flexible foundations for all of mathematics, and in particular provides the foundation for subjects such as synthetic differential geometry. More recently, the work of Olivia Caramello has shown that toposes can be used to provide bridges between distinct mathematical areas.

The aim of this class is to provide an introduction to topos theory for those who have some elementary understanding of category theory and mathematical logic, with a goal of proceeding far enough (either this term or in the spring) to understand Caramello's programme.


Abstract:

We will finish talking about universal algebra and go on to propositional calculus, based on Chapters 1 and 2 of An Algebraic Introduction to Mathematical Logic by Barnes and Mack (https://link.springer.com/book/10.1007/978-1-4757-4489-7).

DATEOctober 10, 2023
SHARE
Related News
    • 0

      Introduction to Topos Theory | Categorical logic

      Abstract:We will begin our introduction to (many-sorted) first-order predicate logic and the interpretation of various fragments of this logic in categories with sufficient structure.Referencehttps://www.oliviacaramello.com/Unification/ToposTheoreticPreliminariesOliviaCaramello.pdf.

    • 1

      KLRW algebra from Floer theory | GRASP seminar

      AbstractKhovanov homology and its relatives are known to be governed by the representation theory ofKLRW algebras (quiver Hecke algebra). Here we discuss a way to realize the KLRW algebra as theendomorphism algebra of certain Lagrangian in the (partially) wrapped Fukaya category on a 3dN=4 Coulomb branch. This is joint work with Mina Aganagic, lvan Danilenko, Yixuan Li and VivekShende