-
モノイダル関手と豊穣圏について概説
4603pv 5 -
圏論の専門家によるアツい議論
4121pv 17 -
【第16回数学カフェ】【圏論2】2016年9月24日(土)
4065pv 10
-
ッドンッボッに関する知られざるwell-known facts
3377pv 42 -
alg_d「ホモロジー代数非入門」
3214pv 2 -
代数的データ型はF-始代数的データ型
3174pv 5 -
開被覆を添え字付き集合族で定義するという話から、到達不可能基数の利用とか
2995pv 11 2 users -
恒等モナドと一般のモナド
2954pv 12 1 user 3 -
{圏の圏 -> 圏の圏}というやばい函手について
2950pv 6 -
圏論界のレジェンドからリプライがきてめっちゃビビった
2930pv 9 -
随伴とカリー化とStateモナド
2868pv 6 1 user -
1つのモノイドを圏として見做すと幽霊が見えるよ
2838pv 3 -
#kenron 圏論勉強会 第5回 まとめ
2753pv 4 -
Doeringさんの講演とmetaphusikaとhasseiの雑談
2663pv 4 3 users -
#kenron 圏論勉強会 第4回 まとめ
2517pv 2 -
#kenron 圏論勉強会 第6回 まとめ
2404pv 1 -
【雑まとめ】分類トポスとモデル理論の話
2342pv 7 -
CCCと直和がどうのこうの
2305pv 9 -
まじか,Elephantなんでも書いてあるな
2264pv 5 -
ちゅーんさんがF代数頑張る!!
2241pv 10 -
圏論圏に住むmathink先生と圏論線上のぱぶり
2022pv 9 1 user -
圏論とSwiftへの応用 @inamiy #iosdc #c
2018pv 3 -
第二回圏論勉強会の予習
1862pv 9 3 users -
HaskellのFunctor
1730pv 7 3 users -
2014年末、Hakellや圏論の会話やつぶやき
1458pv 2 1 user