Lawvere-Tierney topologies in the effective topos

2021/09/09 Thu 13:30 - 16:00
Satoshi Nakata
Kyoto University

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.