20160702第14回数学カフェ「圏論！」

꧁⍤⃝꧂しえら꧁⍤⃝꧂ @sierrarries

三次会ed #math_cafe

お***ぎ @muripo_life

今日数学カフェでて思ったのは、改めてHaskell書きたいと思いました。

あり @ta_to_co

数学カフェわず。楽しかった也。 grothendiek回がもしできたら聞きに行こう。

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

#math_cafe 今日は半日丸々お疲れ様でした! たくさんの方に聞いていただけて嬉しかったです。 今日使ったスライドを公開しました。読み直すなり、Haskellのコードを実行するなりして、振り返ってみてくださいな。 twitter.com/kinebuchitomo/…

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

発表スライドをアップロードしました. slideshare.net/KinebuchiTomo/… #math_cafe

2016-07-02 19:03:38

リング @matsumoring

「ベクトル束の話してるときが一番自然でした」と言われたのが今日のハイライト #math_cafe

数学カフェ＠NPO法人 @mathcafe_japan

重要な補足。 @nolimbre さんより Daj は日本語の圏（射は文字列としての包含）Jp の部分圏になっているわけではなく，本質的に同じダジャレが同型になっている． #math_cafe

s.t. @simizut22

昨日の #math_cafe には、 #ebisu_cpp 参加してる人もいたのが意外だった

数学カフェ＠NPO法人 @mathcafe_japan

昨日の圏論カフェの講義資料です！圏論の基礎を学んだけれどもどう使ったらいいの？？という型、いや、方、ぜひご覧くださいませ。#math_cafe 圏とHaskellの型 #category #haskell slideshare.net/KinebuchiTomo/…

数学カフェ＠NPO法人 @mathcafe_japan

#math_cafe 今回の参加者の方々、フォローさせていただきたいので、メンションなどくださいますと幸いです！(>_<)

あり @ta_to_co

調子に乗って来週も数学カフェ申し込んでみた。

さかピ @sakapi1119

あ、関手の微積分の話が手持ちの本の中にあるようだ( ๑• ₃ั•๑) #math_cafe pic.twitter.com/5RZxWkGZgj

拡大

Tomohiko@草数学者、圏力トレーニング中 @KinebuchiTomo

昨日、言い忘れたのは「Maybeは長さが0か1のListです」という話。まぁ時間が厳しかったので仕方無いか。 #math_cafe

リング @matsumoring

数学カフェ、Grothendieck回というのが予定されているらしい #math_cafe

ケンイチ @teradak55

昨日の数学カフェで取った黒板の写し。まだ基礎の基礎くらいのはずだけどなぁ、オレにはなかなか。。。 pic.twitter.com/dR4STpbd15

拡大

しお @o_sio

@cocoatomo 初めまして、数学カフェでのhaskellと圏の関係についての発表大変参考になりました。具体例として、タプルが直積でEitherが直和というのはなるほどと思いました。ところで上がっているスライド37ページの誤植部分、もし気が向いたら修正お願いしたいですw

数学カフェ＠NPO法人 @mathcafe_japan

文系バックグラウンドの参加者の方から、数学カフェ圏論回の熱い熱いご感想を頂き、とっても感動しております…。 @matsumoring さん @KinebuchiTomo さんの、とても丁寧なご講演に改めて感謝します！！(*^^*) @simizut22 さんのお話はまた改めて。