ぴあのん @piano2683
小山高専助教←京大数理研ポスドク/数学基礎論/モデル理論/圏論/トポス理論/S2S/栃高112回卒/数理の翼30,34,36,37,伊計島(N)2020,2022/湧源/ピアノ/チューバ/合唱/アニメ/凪あす/さよ朝/FGO/シャニマス/ブルアカ/日本酒/ツイートの大半は趣味関連です/アイコンは #ゆる女子メーカー
-
【雑まとめ】分類トポスとモデル理論の話
2370pv 7 -
圏論の本についてのFAQ+α+β
36958pv 67 7 users 1 -
前原 和壽著『圏論入門』実況
81251pv 138 38 users 58
-
@alg_d 先生によるformal category theory入門
9450pv 4 1 user