-
数学の数学「圏論」の世界
5436pv 30 15 -
alg_d「ホモロジー代数非入門」
3217pv 2 -
境界層理論→層係数コホモロジー
1248pv 2
-
表現可能関手とは普遍性のことである
5909pv 9 -
【雑まとめ】分類トポスとモデル理論の話
2356pv 7 -
圏論とSwiftへの応用 @inamiy #iosdc #c
2020pv 3 -
前原 和壽著『圏論入門』実況
80967pv 138 38 users 58 -
ッドンッボッに関する知られざるwell-known facts
3377pv 42 -
まじか,Elephantなんでも書いてあるな
2264pv 5 -
モノイダル関手と豊穣圏について概説
4613pv 5 -
2018年圏論ツイート初め
5093pv 17 -
圏論界のレジェンドからリプライがきてめっちゃビビった
2933pv 9 -
圏論の専門家によるアツい議論
4126pv 17 -
代数的データ型はF-始代数的データ型
3182pv 5 -
黒木玄先生のモナド談義(#数楽)
10687pv 30 9 users -
随伴がなんなのか説明を試みる
15207pv 21 1 user -
【第16回数学カフェ】【圏論2】2016年9月24日(土)
4067pv 10 -
1つのモノイドを圏として見做すと幽霊が見えるよ
2839pv 3 -
天才ぴあのん先生のネコでもわかるcategorical logic
5170pv 3 1 user -
位相空間への一般化は当然の一般化と言われ、圏への一般化は無意味な抽象化となじられる所以がわからない
15126pv 38 2 users 1 -
圏論での積分(エンド)について
19670pv 43 4 users -
f^-1と∪, ∩の交換と圏論について
13870pv 60 3 users -
@alg_d 先生によるformal category theory入門
9442pv 4 1 user -
となりの圏遊会
4869pv 25