ゼミの風景

おそらくお気楽はしのすけゼミの諸風景

Top | ゼミ2016卒 | ゼミ2015卒 | ゼミ2014卒 | イベント | About

和音のトポス(4年ゼミ)

f:id:okiraku894:20150508155759j:plain
f:id:okiraku894:20150508173250j:plain
和音のトポス.
いわゆるSite(C,J)上のSheafの圏はトポスになること.
そのためにobject classifierを作るのだけどそれはFunctorで与えられる.
するとToposの最も特徴的な図式,
A→1
↓ ↓true
F→Ω

  χA
これ全部Functorで与えられるんだよね.
当人の希望もあってしばらく続いたGrothendieck topologyの追究,本日でひと段落.
さて,いよいよ数理音楽へ戻りますか.

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)