Speaker：Masahiro HAMANO

Title：Introduction to Logic of Elementary Toposes

Time：2016/12/9 (Friday) 15:10

Location：Humanities Room 412

abstract：

This is a brief introductory and pedagogical talk about how category theory
interprets a (high-order) logic as well as Kripke construction. The
reference is Lambek & Scott "Introduction to higher order categorical
logic".