Loading Events

« All Events

  • This event has passed.

Finding A Category That Captures Modified Realizability With Extensional Equality

June 2, 2015 @ 2:00 pm - 4:00 pm

Speaker
Yuning Feng

Abstract
Realizability is about interpreting logical statements with programs. A statement is realizable if we can argue for it following some programs. In this talk, we discuss a variant of realizability on typed arithmetic: it has extensional equality, and to interprete an implication, a realizing program need to be total with respect to the antecedent's type. As a formal theory, much of this realizability is known using proof-theoretic methods, and the canonical model for it is well-known. However, it is still not clear what kind of category should this logic correspond to. Towards the problem, we propose a categorical construction with good properties. It is hoped that the categories obtained by the construction could serve as concrete solutions to the problem.

Details

Date:
June 2, 2015
Time:
2:00 pm - 4:00 pm
Event Category:

Venue

room c4.310, building 32
Landbergstraat 15, Delft, 2628 CE Netherlands
+ Google Map