-
- いいね！0
ぴあのん
@piano2683
一般化してもだいたいの定理が成り立つ！ #kansaimath #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である #alg_d
2019-10-26 16:05:39
s.t.
@simizut22
圏論は すごい でも適用できない場合もある →一般化して適用できる場面を増やしたい →その一つが豊穣圏 →でも定理が成り立たなくなるんでしょ？ →大体全部成り立ちます →すごい！最強！！ #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:05:46
味覚クリティカル
@1806_04679
BEnri #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:05:58
ぴあのん
@piano2683
BEnriは便利 #kansaimath #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である #alg_d
2019-10-26 16:06:28
s.t.
@simizut22
Keller 本 通称 Banri(alg_d 用語) Kan 拡張について非常に詳しい #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:06:32
味覚クリティカル
@1806_04679
殺意がわくｗｗｗｗ #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:06:26
電光まくら
@elpillov
Basic Concepts of Enriched Category Theoryが豊穣圏の教科書としてオススメ (行間が広くて死ぬ) #kansaimath
2019-10-26 16:06:50
ぴあのん
@piano2683
参考文献その2 alg-d.com/math/kan_exten… #kansaimath #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である #alg_d
2019-10-26 16:06:52
味覚クリティカル
@1806_04679
便利 ちゃうやんけ #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:07:00
ぴあのん
@piano2683
参考文献その3: nLab #kansaimath #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である #alg_d
2019-10-26 16:07:05
s.t.
@simizut22
BEnri で省略されている証明も補完されているすごい一大聖域 #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:07:27
味覚クリティカル
@1806_04679
圏論はすべて仮定するがモノイドは説明する #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:07:34
s.t.
@simizut22
圏論は仮定しているのにものいどは説明する #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:07:42
ぴあのん
@piano2683
モノイダル圏への一般化を意識したモノイドの定義だ！ #kansaimath #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である #alg_d
2019-10-26 16:07:43
s.t.
@simizut22
strict monoidal category と monoidal category (coherence 条件は説明しないので，前回のつどいを参照) #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:08:48