Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-05-10から1日間の記事一覧

層・圏・トポス P53の定理3

第一回「層・圏・トポス 現代的集合像を求めて」勉強会の時に、一番難易度が高い証明だった気がするので書き直してみました。行間を埋めまくったので読みやすいと思いますがどうでしょう?

しりとりの圏は「全単射でも同型とは限らない」の例になりそう

第一回「層・圏・トポス 現代的集合像を求めて」勉強会出てきました。現役の数学科の方も居て、久々に楽しい時間を過ごしました。やっぱ数学は最大の娯楽ですね! 層・圏・トポス―現代的集合像を求めて竹内 外史 さて、その中で出た話。全単射な射があれば同…