CCU PHILOSOPHY

:::

Lecture-Prof. Masahiro HAMANO

  • 2016-11-29
  • Admin Admin
{{Alt_title}}

Speaker:Masahiro HAMANO

Title:Introduction to Logic of Elementary Toposes

Time2016/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".