10/12/28 17:37:51
×(V⊗W)⊗UとV⊗(U⊗W)
○(V⊗W)⊗UとV⊗(W⊗U)
88:１３２人目の素数さん
10/12/28 18:47:46
いつからクマースレに……
89:１３２人目の素数さん
10/12/28 21:42:38
∩＿＿＿∩ ｜
| ノ＼ ヽ |
/ ●゛ ● | |
| ∪ ( _●_) ミ j
彡､ |∪| | Ｊ>>88
/ ∩ノ ⊃ ヽ
( ＼ ／ ＿ノ | |
.＼ “ ／＿＿| |
＼ ／＿＿＿ ／
90:１３２人目の素数さん
10/12/30 01:01:07
圏論ってどの本で勉強すべき？
91:１３２人目の素数さん
10/12/30 17:01:21
Oxford Logic Guidesのはどう？
92:１３２人目の素数さん
11/01/20 21:29:02
あぶすとらーくとなーんせーんす
あぶすとらーくとなーんせーんす
あぶすとらーくとなーんせーんす
93:１３２人目の素数さん
11/02/07 14:03:13
>>1
呼んだ？
94:１３２人目の素数さん
11/05/26 10:08:13.10
高次圏論うさんくせえ
95:１３２人目の素数さん
11/05/26 11:33:18.27
圏の有り難みを最初に感じるのはEilenberg-Zilberの定理ですな
96:１３２人目の素数さん
11/05/26 17:23:00.80
そうか？
acyclic modelだと思うが。
97:１３２人目の素数さん
11/05/26 17:35:51.62
>┴< ⊂⊃
...-（・∀・）- ⊂⊃ 幸せだった日々
>┬< ﾜｰｲ
J( 'ｰ`)し ('∀` ) いくら金を積んでも戻らない福島の美しい自然
( )＼('∀`) ）
｜| (_ _)｜|
;;⌒::.;;.⌒⌒/ /|￣￣￣￣￣/ /::. :; ;⌒⌒:.:⌒:;⌒;;⌒
.. ,::.; / /|￣￣￣￣￣/ /.., ,; .: ,,｡,.（◯） ::
: :::., / /|￣￣￣￣￣/ /,,; （◯） ::: ヽ|〃 ;;:
. ,:.; / /|￣￣￣￣￣/ /.., ,; :ヽ|〃 ,,｡, ::;;,
98:あんでぃは賛同 ◆AdkZFxa49I
11/05/29 00:11:50.68
あんでぃ
99:１３２人目の素数さん
11/06/02 00:31:47.94
圏論ってもはや論理学だよね
100:１３２人目の素数さん
11/06/03 04:07:46.81
>>99
> 圏論ってもはや論理学だよね
というより言葉、数学を記述する言語だと思う
まあ論理学も同じようなもんだと言えないこともないけど
一見すると圏論って群論とか環論なんかと同じく圏という特定の代数的構造に関する理論のように初心者は勘違いしがちだけど
だから群論とか環論とかを勉強するようなつもりで圏論を勉強すると失望するというか砂を噛むような味気なさを感じるだろうな
101:１３２人目の素数さん
11/06/03 04:24:03.79
圏 ⇔ 一般代数系全体
特定の圏 ⇔ 群・環とか
みたいな対応で考えられて
特定の圏だけ考えるようにすれば代数学に近くなるんじゃないのか
102:１３２人目の素数さん
11/06/03 10:55:17.76
圏って要するに群環の準同型すなわち矢印が一番大事なんだよ
群や環は何だっていいんだよ、矢印だけに注目しなさいって理論
103:１３２人目の素数さん
11/06/03 23:22:47.14
>>99
つ トポス
104: 【Dsci1307288824320992】
11/06/06 00:53:53.39
test
105:あんでぃ「も」弱者 ◆AdkZFxa49I
11/06/15 18:46:25.10
あんでぃ
106:１３２人目の素数さん
11/07/03 10:33:35.09
何でもあんでいでおしまいかよ アホ
つまんね
107:１３２人目の素数さん
11/07/04 00:05:59.59
『圏論の基礎』が消えた
買いそこなった
悲しい