ゼミの風景

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

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

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

f:id:okiraku894:20141112172008j:plain
f:id:okiraku894:20141112171958j:plain
f:id:okiraku894:20141112182720j:plain
1週空いて再開,和音のトポス.本日お気に入りの式.
   Sub(μ)Hom(μ,Ω)
つまり,(functor)μのSubobjectはSubfunctorに他ならず,
それはまたSubobject classifier Ω への射(今の場合,自然変換)とも見なせる.
そして,このμはまたalgebra Aの集合Xへの作用なんだけど,
これ自身,algebraを一点対象のCategoryと見てSet categoryへのfunctorと見る,
素敵な観点を与えてくれる.
そしてToposで和音を見る,その目的はやはりLawvere–Tierney topologyで考えたいから.
とにかく進めるところまで進めよう.

面白くなってきたので,Amazonでポチってしまった↓

Topos Theory (Dover Books on Mathematics)

Topos Theory (Dover Books on Mathematics)

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

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