-
- いいね！0
s.t.
@simizut22
神の定理もやはり補題 #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 17:08:19
s.t.
@simizut22
これが神です #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 17:08:53
ちょーさん
@kyo_math1729
こんなんばっかやが #kansaimath #kansaimath303 pic.twitter.com/r35tpux5B7
2019-10-26 17:11:41
拡大
関東すうがく徒のつどい
@kantotsudoi
enrich.pdfだと3つに別れているがtest4.pdfだと一つにまとまっている #kansaimath303
2019-10-26 17:11:53
ゐぶ
@cosmos8128
これが神の定理の証明です(神なので虹色になっちゃった) #kansaimath pic.twitter.com/ktP3SgpT4U
2019-10-26 17:12:24
拡大
s.t.
@simizut22
神の定理の証明 (alg-d.com/test4.pdf を参照) #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 17:12:45
s.t.
@simizut22
証明を “ほんとーに” 知りたい人は(enrich.pdf を) #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 17:15:16
関東すうがく徒のつどい
@kantotsudoi
V-函手C→Dを対象，V-自然変換を射とすると圏になる(之をFun(C,D)と書く) #kansaimath303
2019-10-26 17:17:08
関東すうがく徒のつどい
@kantotsudoi
[2-cat知っている人向け]V-Catがstrict 2-categoryになることが分かり、V-Catに於ける随伴やKan拡張が定義される．先の定義は一致することも分かる． #kansaimath303
2019-10-26 17:18:52
s.t.
@simizut22
Fun(C, D) も V-豊穣圏にしたい： i.e. U(X) = Fun(C, D) なる X: V-豊穣圏を構成したい． これは end を用いる構成できる #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ
2019-10-26 17:20:37