alg-d

数学Vtuberのalg-dです。チャンネル→ 烙印とドレミコードが好き。「アルバスの落胤」とは特に関係ありません。アニメはKING OF PRISMが好き(ヒロ様推し)。キスト・スペシャライズド。趣味で圏論をやっています。　【2025年10月28日】

[alg-d @alg_d]

【全ての概念はKan拡張であるIII ～各点Kan拡張～】
https://t.co/igQXcAU4js
『すべKan3』発売されました(3960円)。各点Kan拡張のことがかなり詳しく書いてあります。1、2はどちらかというと常識をまとめた辞書っぽい感じでしたが、3はある程度ストーリーがあってかなり面白くなったと思います。

[alg-d @alg_d]

こいつなんでついてきたの?

[alg-d @alg_d]

https://t.co/1Yu0Ewj3Sa
草

[alg-d @alg_d]

@quasi_cosmoi ありがとうございます。頑張ったら出来そうでした

[alg-d @alg_d]

待って、C_/p がquasi-categoryになることの証明めっちゃ大変?

[alg-d @alg_d]

@iiiliililiill1 ありがとうございます。よく考えたら出来そうでした

[alg-d @alg_d]

@Maleic1618 うおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおうおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおおお

[alg-d @alg_d]

そのブタ持ち運んでるの?

[alg-d @alg_d]

動画を撮ったものの、喋りながらもっと分かりやすい説明があるなと思ったのでボツへ……

[alg-d @alg_d]

ホモロジー代数がどのくらい弱完全圏でできるか気になっているものの、そもそもホモロジー代数をやったことが無く…

[alg-d @alg_d]

更新が後回しになってますが、弱完全圏でも鎖複体やホモロジー群を考えることができて、蛇の補題によって長完全列が作れます。

[alg-d @alg_d]

これをやると、群の圏Grpで蛇の補題を考えることができます(Grpはアーベル圏でないが弱完全圏なため)

[alg-d @alg_d]

アーベル圏よりもよっと弱い仮定(弱完全圏)でできて、解説PDFも解説配信もあります　画像は連結準同型δ'を普遍性で得る図
https://t.co/3wdvmCSi4o

[ゆーぐま(くま)🧸🧸 @eu_guma]

蛇の補題(あるいはジグザグ補題)の連結準同型、普遍性で生やしたいよな〜　アーベル圏で出来るらしいから多分出来るんだろうけど

[alg-d @alg_d]

∞圏のPDFが公開できる日は近そうだという気にはなってきた

[alg-d @alg_d]

値が i の定数関数を深く考えず c_i と書いていたが、下線付きの i とかで書くと見やすいかも(元と定数関数を区別しなくてもいいのではという説もあるが)

[alg-d @alg_d]

@ZF_skr @paper_math 草

[alg-d @alg_d]

なんかHTTとかでよく見る? 謎のやつにpullback-sliceって名前がついてて感動した

[alg-d @alg_d]

U・S・A!

[alg-d @alg_d]

先にそっちだせやｗｗｗ

[alg-d @alg_d]

少し記号がキモいかも

[はみるとん＠爆アド.com @ZenmaiShark]

将棋を運ゲーって言ってる人でも｢呼吸点｣という言葉ぐらいは聞いたことあると思うんだけど、仮に囲碁教室で自分が先に｢KAITO｣というあだ名で呼ばれていたのに後から｢カイト｣という名前の人が来たとして、その場合どっちが｢KAITO｣になるのか2分の1で決まるわけで、それも運ゲーというのだろうか

[alg-d @alg_d]

今期インターネット枠2つあんのかよ