スマートコン
@mr_konn
今日の資料、発表の途中で背理法を使わない形で証明出来た部分があったので書き直しました。 http://t.co/8bgIY7Vi #選択公理ちゃんマジ公理
2012-03-04 01:48:51
スマートコン
@mr_konn
今日の圏の導入は散々だったけど、自分で喋って初めて納得することと云うのはあるなあと思った。函手はモノイド準同型や単調写像の拡張概念になっている、と云うのは勿論知っていたし納得してたけど(続く) #選択公理ちゃんマジ公理
2012-03-04 01:51:57
スマートコン
@mr_konn
その場で「F(f: A→B)=F(f):F(A)→F(B) が単調写像の"順序を保存する"と云う条件、F(1_A)=1_{F(A)}, F(g○f)=F(g)○F(f) がモノイド準同型の条件に対応します」と説明して、アッ!そうだったのか!って思った。 #選択公理ちゃんマジ公理
2012-03-04 01:54:13
スマートコン
@mr_konn
懇親会ではそういえば「ドゥーが現れる前まではスラステさんもあんなひとじゃなかったのに……」と云う会話をしました #選択公理ちゃんマジ公理
2012-03-04 01:58:19