圏論のあか☆ねこ@数学系・将棋系Vtuber @math_neko
数学/0 は自然数(俺的には)/有限群/統計数学/代数トポロジー少々/Java/Web アプリ ブログ(数学系) : http://d.hatena.ne.jp/redcat_math/ ブログ(プログラム系) : http://d.hatena.ne.jp/redcat_prog/
-
多項式環 TL
7801pv 22 1 user -
モノイダル関手と豊穣圏について概説
4668pv 5 -
κ+κ=κの証明、どこに選択公理を使っている?
7698pv 30
-
f^-1と∪, ∩の交換と圏論について
14042pv 60 3 users -
圏論での積分(エンド)について
19925pv 43 4 users -
@alg_d 先生によるformal category theory入門
9497pv 4 1 user -
無限公理を否定したとき,選択公理は証明可能か?
10620pv 23 1 user -
微分ヤクザPの戦力確認
5838pv 22 -
収束列が取れるか。単射と全射から全単射が作れるか。
11835pv 64 4 users -
【2011年記念】 x^2011-1 の因数分解
8631pv 22 3 users -
ススリンのことかーーーっ!!! (続・実数TL)
7498pv 35 3 users -
朝の稠密な数学 TL
7852pv 17 2 users