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