Lawvere-Tierney topologies in the effective topos

Date
2021/09/09 Thu 13:30 - 16:00
Speaker
Satoshi Nakata
Affiliation
Kyoto University
Abstract

The concept of an elementary topos abstracts from categories of sheaves and the category of sets. It is well known that the effective topos, which is an example of an elementary topos, has many applications in mathematical logic and programming language semantics.
In this talk, we will start with a brief introduction to topos theory and focus on the concept of a Lawvere–Tierney topology: it coincides with a covering in sheaf toposes. In contrast, Lawvere–Tierney topologies in the effective topos are related to oracle computations and techniques for the investigation of intuitionistic logic.

====================================================
In Student Colloquium, we do not fix the end time. Though a nominal time is shown above, we mean neither that it will be so, nor that it was so.
See this page for the details and how to participate in Student Colloquium.