🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Set^{・⇉・} の対象のことをグラフだと思っているため、そういう気持ちもあるのかという気持ちに

ジークアクスあと2話で終わる気がしてきた

最後マチュがオメガサイコミュなしで操縦しているから相当練習しているんだろうなって……

グラフって多義語すぎるからSet^{・⇉・}はquiverの圏って言ってるし、Set^{Δ_{≤1}^{op}}はreflexive quiverとか1-truncated simplicial setって言ってる

スコーンが好こーん vs. スコーンが、すっ、こーんなに！？

ゆるぼ loc. fin. pres. でないGrothendieck toposの例 人口的にサイトの射を増やしまくって作れるのは分かるんだけど自然な例を募集してます

Krivine のことか───────っ!!!!! (古典実現可能性解釈)

フェローもっと増えろー

Grothendieck fibrationの成す圏のcartesian objectのことをcartesian fibrationと呼ぶ流儀もあるか……

こういう「実装はなんでもいい」という考え方は他の数学でもよくあるし私も腑に落ちるんですが，この言い回しって普通の数学書とか数学者はあまりしないイメージがあって，おるうぇ君にしてもさくら君にしても一体どこで身につけたんですか……？ あとそれって CS 未履修の数学徒にも通じるの……？

ギレンの方はニュータイプ云々を怪訝な目で見ていて、MA志向に言ってるから本当にイオマグヌッソを使いこなせなかったのか

エグザべくん、ララ音は聞こえてるんだよな……

Alwe さんなんでそこ詳しいんだみたいなのはずいぶん昔から思っているけど、お互い良い影響を与えあっている関係という感じはあって、僕が知らないうちに僕から直感を吸い取っている可能性がある

Gödel numbering の振る舞いってよくしないと良くならないんですね～～～みたいな話を Alwe さんから無限に聞いている気がする　実装に sensitive という話で一番 Alwe さんから聞いてるのこれまである（せやろか）

Gödel数あたりの振る舞い、理論が強ければ"まともな"実装をすればまあまともに振る舞うんですけど、病的なことをすると病的になります。まあ理論が弱かったらまともにやっても上手く振る舞わないことが多いです(悲しいね)

1進自然数と2進自然数が一致することを証明できないような世界に生きてる人もいるんですよ

1進自然数は0に1に足自然数で、2進自然数は2進ビット列のような感じで生成される自然数で、使う文字数とかを見ると前者は線型で後者は対数的