じょーど(旧)
@jo_do2000
集合の例で見てるから「そりゃuは一意になりますわ」って思いながら聞けるけど、具体例じゃなくなった途端「何でこれ一意なの??」ってなる予感がしています #圏論の基礎の基礎
2018-12-16 15:20:49
λx.x
@lambda_x_x
uが普遍であることは、j_1, j_2 が定まれば一意ということ(圏論の歩き方に似たような書き順のはなしを読んだ気が) #圏論の基礎の基礎
2018-12-16 15:23:30
ミカグラ
@3QUA9LA
集合論から入る圏論わかりやすい いきなり圏の定義に突っ込むと「これはなに?」ってなって関手が出て来て詰む(「これはなに?」と「これはなに?」を繋げるものがわかるはずがないので) #圏論の基礎の基礎
2018-12-16 15:28:55
ミカグラ
@3QUA9LA
この「集合とか写像とかをきれいさっぱり忘れて、ただ点と矢印だけを見る」フェイズが、圏論初学者にとっては高い壁なんだよな… #圏論の基礎の基礎
2018-12-16 15:37:31
ぼくけんくん
@boku_kenkun
普遍性を利用した集合の同一視 #圏論の基礎の基礎 pic.twitter.com/Tv3VOm8kRF
2018-12-16 15:50:22
拡大
拡大
拡大
ぴろりぽよ🥕あさみ
@ringo2001
今日配布されたテキスト、8章まであるうちの2章が終わるか終わらないかってとこだけど、後日また続きをやってくれるといいなぁ。 #圏論の基礎の基礎
2018-12-16 15:52:17