sex - 7 goo.gl/tLp7v6
— ナカナカピエロ (@NakanakaPierrot) 2018年10月16日 - 04:52
女は知っている goo.gl/VPm3n1
— ナカナカピエロ (@NakanakaPierrot) 2018年10月16日 - 07:16
今日は #ボスの日
— あざらしアイドル組 (@huusenazarasi) 2018年10月16日 - 07:06
『経営者と部下の関係を
円滑にするための記念日』
#イラスト
RPGのボスキャラがアザラシだったら
#今日は何の日
#世界食糧デー
#あざらし #アザラシ
#あざらしアイドル組… twitter.com/i/web/status/1…
【出展情報】
— ずけやま #数学デッサン (@ru_sack) 2018年10月16日 - 07:14
11/10(土) デザインフェスタ48
12/10(月)-23(日) 博物クリスマス
#数学デッサン #宇宙のよどみ pic.twitter.com/d6K8HYJLGU
大森さんの圏論関連のブログカテゴリ：bitterharvest.hatenablog.com/archive/catego… bitterharvest.hatenablog.com/archive/catego… bitterharvest.hatenablog.com/archive/catego… bitterharvest.hatenablog.com/archive/catego… #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 19:49
まずは @taketo1024 さんによる トポロジーと圏論の夜明け slideshare.net/taketo1024/ss-… #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 19:03
圏論がこんなに人気なの、Catだからでは
— ざん (@zhanpon) 2018年10月16日 - 19:09
Haskell 使いが多いから、圏の最初の例が Hask 圏 #cocat4pg
— s.t. (@simizut22) 2018年10月16日 - 19:40
Ob(Hask):型 Mor(Hask):関数 #cocat4pg
— リング (@matsumoring) 2018年10月16日 - 19:42
次は、大森 健児さんによる「圏論は、随伴が全て」 #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 19:45
工学部の視点から、数学のよさをうまく利用しようという立場から学んできた。その立場から、圏論を見ていく。 #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 19:47
数学での大事な概念→カテゴリ分け（同値）
— horiem (@yellowshippo) 2018年10月16日 - 19:50
例としては、合同、相似、位相同型などなど #cat4pg
ホモトピー：次元を無視したときに同じ図形は？（ファイバー） 円周、帯などなど。 大森さんはホモトピーと設計で論文を書いている researchmap.jp/read0029521/ #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 19:52
遅延評価なので、
— s.t. (@simizut22) 2018年10月16日 - 19:54
関数にエラーを入れてもエラーにならないことがある。
そのせいで Hask 圏は圏にならないという話がある #cocat4pg
hask圏!! しかしHaskellは圏ではないらしい #cocat4pg
— きなこ🍓 (@dom_de_codom) 2018年10月16日 - 19:55
圏Aと圏Bが関手で繋がれているR:A→B、L：B→Aのとき、B○A=idとすると、同値。そうではなく、随伴として見てみる。関数を挟んでも良いとする。 id→B○A #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 19:57
Haskellは別に圏論と関係なかった(後付け) #cocat4pg
— リング (@matsumoring) 2018年10月16日 - 19:57
Haskellはラムダ計算をベースに遅延評価をするためのものだったんだけど、協会に圏論オタクがいたために、Haskell=圏論？！みたいになった。
— きなこ🍓 (@dom_de_codom) 2018年10月16日 - 19:58
ということは、厳密に圏でなくても圏論っぽくかけると。
#cocat4pg
社会システムと家族システムもそれぞれを圏と考え、随伴にして考えられるのでは？現在人文系にも興味があり、研究している。 #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 19:58
idをすべての型に定義するのが難しい？？ #cocat4pg
— リング (@matsumoring) 2018年10月16日 - 20:00
圏とは？：「対象」と「射」の集まり。特に射が大事。あるものとあるものの関係を表している。
— horiem (@yellowshippo) 2018年10月16日 - 20:05
小さい圏：対象も射もそれぞれが集合
圏の圏：（小さい）圏を対象とみなせばその上に圏が作れる。圏から圏への射は「関手」と呼ばれる
→ 階層を作れる！ #cat4pg
hom 集合：対象Aから対象Bの間には、いろんな射が考えられる。この射の集合を hom(A, B) とする（射が集合を作れるように適当な制限を入れる）。
— horiem (@yellowshippo) 2018年10月16日 - 20:08
Hom 関手：小さい圏 A からhom集合の圏の関手 Home(A, -) #cat4pg
関手の例:List #cocat4pg
— リング (@matsumoring) 2018年10月16日 - 20:09
自然変換：関手F：圏C→圏D、関手G：圏C→圏Dとしたとき、F→Gを自然変換 η と呼ぶ。f: X → Y があったとすると、 F(X)、F(Y)、G(X)、G(Y)の四角形が作られ、いかなる経路でも始点と終点が同じであれば同じ変換になる！ #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 20:11
— horiem (@yellowshippo) 2018年10月16日 - 20:14
随伴とは：圏A（中に L(Y) → X を持つ）圏B（中に Y → R(X) を持つ）があったとき 随伴L：B→A、R：A→B がある、三角恒等式を満たす自然変換が存在する。 #cat4pg
— horiem (@yellowshippo) 2018年10月16日 - 20:14
モナドは関手 #cocat4pg
— リング (@matsumoring) 2018年10月16日 - 20:15
モノイド圏 pic.twitter.com/wxCldMtFRt
— horiem (@yellowshippo) 2018年10月16日 - 20:16
#cat4pg twitter.com/yellowshippo/s…
— horiem (@yellowshippo) 2018年10月16日 - 20:17
自由モノイドは、なるべくムダがないように表現したもの。たとえば交換法則が成り立つものであれば、対象の数を節約できる！AB = C、BA = D だが、D は不要となる
— horiem (@yellowshippo) 2018年10月16日 - 20:19
