[logic-ml] 名古屋ロジックセミナー (10/11) 上村太一さん

皆様

名古屋大学の木原貴行です．

以下の要領で名古屋ロジックセミナーを開催いたしますのでご案内いたします．

+++++

日時：10/11 (金) 15:30-17:00

場所：名古屋大学 情報学研究科棟 322室

講演者：上村太一 (名古屋大学)

タイトル: Towards synthetic topos theory

概要: トポス理論を総合的(synthetic)に展開するアイディアについて議論する。ト ポスは空間概念として導入され、ロジックや型理論とも深い関連がある。各ト ポスはgeometric theoryの分類トポスである他、トポス上の層の圏は依存型理 論を内部論理として持つ。通常の教科書ではトポスとは何かを公理化する分析 的(analytic)なアプローチが採られるが、総合的なアプローチではトポスを原 始的な概念とし、トポスを使って何ができるかを公理化する。各トポスの内部 論理とも統合し、すべてのトポスの内部論理を内包する一つのシステムの構築 を目指す。

+++++

以上どうぞよろしくお願いいたします． 木原

--------

木原 貴行 名古屋大学 大学院情報学研究科 数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: [email protected]