内海 @u23mjag
横軸では無く縦軸の世界に
-
前原 和壽著『圏論入門』実況
81073pv 138 38 users 58 -
随伴がなんなのか説明を試みる
15219pv 21 1 user -
f^-1と∪, ∩の交換と圏論について
13885pv 60 3 users
-
圏論での積分(エンド)について
19683pv 43 4 users