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