-
- いいね！0
ぴあのん
@piano2683
豊穣圏Cのunderlying category U(C)が定義できた！ #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である
2019-10-26 16:53:53
関東すうがく徒のつどい
@kantotsudoi
(a→[V]→b→[V]→c)→[V]→d=a→[V]→(b→[V]→c→[V]→d)が証明された #kansaimath303
2019-10-26 16:54:04
ぴあのん
@piano2683
前やってた豊穣圏ゼミのグループLINEにはペーパー氏お手製の大量の図式メモが上がってる #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である
2019-10-26 16:55:21
s.t.
@simizut22
C の射を取れば OK ✌️ とはならない #豊穣圏は射が取れないからクソ 判例は strict 2-category #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:55:56
s.t.
@simizut22
突如出てくる番号は enrich.pdf の命題番号（だから証明を読みたい人は pdf を落として参照してください #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:57:30
ぴあのん
@piano2683
証明をちゃんと読みたい人はenrich.pdfの対応する番号の命題を参照w #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である
2019-10-26 16:57:31
関東すうがく徒のつどい
@kantotsudoi
enrich.pdfの命題番号14 #kansaimath303 pic.twitter.com/XihLzZ3cDx
2019-10-26 16:58:16
拡大
拡大
s.t.
@simizut22
中身をぽんって埋めると www #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 16:58:38
ぴあのん
@piano2683
でかい図式の中をｼｭｯと埋めて可換にするだけの簡単な作業（簡単とは言っていない） #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である
2019-10-26 16:59:04
s.t.
@simizut22
それぞれなんで可換かは感じ取ってください #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 17:01:55
ちょーさん
@kyo_math1729
図式を埋めたものがこちらになります #kansaimath #kansaimath303 pic.twitter.com/8culSwUvbH
2019-10-26 17:01:56
拡大
ぴあのん
@piano2683
#kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である pic.twitter.com/5WJzCmdGP8
2019-10-26 17:02:17
拡大
s.t.
@simizut22
これの可換性を示せば良い（スライド内の大きい空白） #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 17:04:44
ぴあのん
@piano2683
Twitter映えしない圏論の講演してみたいな #kansaimath303 #豊穣圏は射が取れないからクソ #全ての概念はKan拡張である
2019-10-26 17:06:50
s.t.
@simizut22
この証明には神の定理（個人の感想です）を用いる #kansaimath #kansaimath303 #全ての概念はKan拡張である #豊穣圏は射が取れないからクソ #alg_d
2019-10-26 17:07:45