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