2009-05-11から1日間の記事一覧
9日の土曜日に開催された層・圏・トポス勉強会に行ってきた。 レポートや反応等は既に 報告:第一回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記 Diary?::2009-05-09 しりとりの圏は「全単射でも同型とは限らない」の例になりそう - 北…
9日の土曜日に開催された層・圏・トポス勉強会に行ってきた。 レポートや反応等は既に 報告:第一回「層・圏・トポス 現代的集合像を求めて」勉強会 - hiroki_fの日記 Diary?::2009-05-09 しりとりの圏は「全単射でも同型とは限らない」の例になりそう - 北…