プログラマのための圏論勉強会に落選した人の会 #cocat4pg
-
- いいね！0
hiratara
@hiratara
来週、 #cat4pg に落選してしまった人で集まる会をやりたいです。 #圏論の基礎 を一人で読むのに疲れてしまった人も歓迎。壱大聖域にある圏論のpdfをしんみりと読めるとこまで読みましょう。 人数が集まってから会議室を予約するので、早めの登録をお願いします。 #cocat4pg connpass.com/event/104371/
2018-10-09 13:19:26
hiratara
@hiratara
可能な限り最短でKan拡張に到達する.pdf に必要な前提。 圏 関手 直積 終対象 pullback equalizer 双対 mono, epi 初学者いる前提だと例題もいくつか解きたいので、これだけでも3時間で終わらないのでは。 #cocat4pg
2018-10-13 09:20:05
s.t.
@simizut22
明日の持ち物 参加費と 可能な限り最短でKan拡張に到達する pdf っていうの、ウケるな #cocat4pg connpass.com/event/104371/
2018-10-15 14:28:38
hiratara
@hiratara
本気過ぎて恐ろしい。 #cocat4pg twitter.com/simizut22/stat…
2018-10-15 18:14:57
nzᴉɯᴉɥS ᴉʞnsʇɐ⊥（旧 s.t.）
@simizut22
明日の持ち物らしいので、どうせだから小冊子の形で印刷してみた。遠足のしおりっぽさを感じる。 pic.twitter.com/a8yXoYC9nX
2018-10-15 17:15:46
ぴあのん
@piano2683
プログラマのための圏論勉強会 cat4pg.connpass.com/event/100728/ のハッシュタグが #cat4pg で、その抽選に漏れた人たちによる裏番組 connpass.com/event/104371/ のハッシュタグが #cocat4pg なのなんかいいですよね。
2018-10-16 11:58:51
さのたけと
@taketo1024
両方参加するとスカラーになってしまうので気をつけて下さい✨ #cat4pg #cocat4pg twitter.com/tsurumau/statu…
2018-10-16 18:39:39
s.t.
@simizut22
主催「今日は、何をやるのがいいんですかね。。。」 ？？「Kan 拡張が理解できると思って来たんですけど。。。」 #cocat4pg
2018-10-16 19:04:06