MarriageTheorem @MarriageTheorem
-
いったい何ゴドゥーなんだ……
19308pv 58 5 users -
alg_d「全ての概念入門」
11429pv 29 1 user 80 -
前原 和壽著『圏論入門』実況
80970pv 138 38 users 58
-
alg-d「代数学における選択公理」
8917pv 26 2 users 3 -
alg_d「選択公理をいかにして使ってしまうか」
13950pv 30 -
alg_d「(なんか長いタイトルのやつ)」
25578pv 25 1 -
f^-1と∪, ∩の交換と圏論について
13883pv 60 3 users