25/02/01 22:12:55.46 Ecb8nj8H.net
そしてKan拡張＿＿＿
2:１３２人目の素数さん
25/02/01 22:21:50.50 839ffPWy.net
一日に何百、何千と立てられるスレッド。
その中には良スレもあれば、糞スレもありますがこのスレはまさに後者でしょう。
>>1がどんな思いを込めて、このような糞スレを立ててしまったのか私たちには知る由もありません。
ただ一つわかってほしいのは、決して>>1に悪気があったわけではないということです。
どうか皆さん、糞スレを立ててしまった>>1を許してあげてください。
いつの日か>>1が、この失敗を糧に良スレを立てられるようになるといいですね。
3:１３２人目の素数さん
25/02/01 22:24:28.35 8r3LNKF9.net
圏論は、具体的すぎて理解できん
もっと抽象的に話してください
4:１３２人目の素数さん
25/02/01 22:47:15.78 839ffPWy.net
米田の補題
URLﾘﾝｸ(itest.5ch.net)
5:１３２人目の素数さん
25/02/02 05:48:16.45 2ZrtlfAF.net
>>3
吉田耕作乙
6:１３２人目の素数さん
25/02/03 13:37:05.47 Bwgazve/.net
エンドを使うと自然変換の計算ができる
リー代数や保型形式においても、作用素のトレースが計算に有用
7:１３２人目の素数さん
25/02/03 16:39:38.56 wgdNCcZL.net
線型作用素を自明なものに座標変換して計算することに相当
そして実際には座標によらないことが普遍性に相当
8:１３２人目の素数さん
25/02/03 16:54:47.38 /mPEWite.net
>>7
そこまで解説されると俺でもわかりやすい。
9:１３２人目の素数さん
25/02/03 16:56:32.11 zrgNb3xF.net
圏論はテンソル積である
10:１３２人目の素数さん
25/02/03 17:10:20.42 zrgNb3xF.net
可換図と同じ
11:１３２人目の素数さん
25/07/25 23:12:59.42 +pSEcS8z.net
圏がすべて
12:１３２人目の素数さん
25/07/29 01:37:35.57 DdD2J7E9.net
関手圏
13:１３２人目の素数さん
25/08/02 17:47:32.66 SAfwrr7U.net
アブストラクトナンセンス
って
アノクタラサンミャクサンボダイ
と似てない？
14:１３２人目の素数さん
25/08/02 18:10:02.07 /Kol5O7b.net
キレンのモデル圏