urSigma @ur_erusiguma
₍₍◝(‘λ’)◟⁾⁾
-
圏論での積分(エンド)について
19894pv 43 4 users -
f^-1と∪, ∩の交換と圏論について
14017pv 60 3 users