25/11/27 09:17:34.85 RifKMiML.net
は無いのか
2:１３２人目の素数さん
25/11/27 11:07:25.53 AEtjR57Q.net
-=≡///:: ;;
／ '' ヾ:::::＼
/ ｶﾙﾄの王者 ＼:::::＼
| , 、 彡::::|
ﾐ| _≡=、 , =≡=_ 、 |:;;;;;/
| | ◎ |￣ | ◎ |─´/ ＼
| ヽ 二 / ＼二／ >∂/ ／￣￣￣￣￣￣￣￣￣
/ ／( )＼ |__/＜ うんこ喰わせちゃった！！
| / ⌒ ⌒ | | ＼＿＿＿＿＿＿＿＿＿＿
| ＼／ ヽ／＼＿／ / |
.＼ ､ ＼￣￣／ヽ //
＼ | ￣ ／/／
／ ￣￣ ＼
| | | |
| | | |
|⌒＼| |／⌒|
| | | | |
| ＼ （ ） ／ |
| |＼＿__人＿___／| |
| | ヾ;;;;| | |
,lﾉl| ﾌﾞﾊﾞﾁｭｳ!!. .ｍ
人;;;;;;;￣￣￣ヽ/⌒⌒⌒ヽ|.|っ
ノ:;;,ﾋ=ε;;;/∴ | ＿____ /⌒/⌒ヽ
(~´;;;;;;;ﾞ'‐;;´) ＠） （＿＿＿_/ .. _ ）
,i`（;;;ﾞ'-;;;;;; ◎;;;◎― /ミ|──,,＿__,/ ヽ
ヽ;;';ｰ--―;;;;￣;;;;;;￣Y ）←>>1 ｀'ｰ--､＼＿＿＿＿／ ＜くそすれさいこー！！
3:１３２人目の素数さん
25/11/27 21:38:30.77 9fkQgDOy.net
kを体
Cを圏
kCで、形式的な和 a1x1 + ... + anxn (ai∈k, xi∈C)の集まりを表す。
kCの対象に対して、和とスカラー倍を自然に定める。
kCのふたつの対象
X = Σai xi
Y = Σbj yj
に対して、
Hom(X, Y) = { (bj fij ai)_ij | fij∈Hom(xi, yj)}
と定める。
C, Dを圏
kCからkDへの関手Fが線形であることを
F(x + y) = F(x) + F(y)
F(ax) = aF(x)
が成り立つことと定める。
こんな感じでできるか？
4:１３２人目の素数さん
25/11/27 21:40:33.08 uvU98ieU.net
(bj fij ai^(-1))かな
5:１３２人目の素数さん
25/11/27 21:47:04.05 Xki6UQYu.net
芯のクラス
6:１３２人目の素数さん
25/11/27 21:48:26.34 Ji4Vc9I8.net
有限集合の時に意味のある理論になってなきゃ無意味
7:１３２人目の素数さん
25/11/28 04:16:13.16 fF3C7sK0.net
本当の真のクラス
8:１３２人目の素数さん
25/11/28 10:38:27.54 v9TljB9Z.net
>>4
最後にXの0でない成分の個数で割る必要もあると思う
9:１３２人目の素数さん
25/11/28 11:11:23.33 ZBkrn7nQ.net
同型な生成元を区別するのか否か