カテゴリー: Proof Theory

🌌 数体系の拡張と「失われる規則」まとめ ケーリーディクソン構成による次元の組み立てと捨てる規則。 📜 数体系の進化一覧表 次数 名称 獲得したもの ❌ 捨てる規則（失われた性質） 備考 1D 実数 (ℝ) 連続する一本…
Read more

ZFCの公理が9個or 10個なのは、「空集合の公理」を独立させるか、他の公理から導出できるとみなすかという、数学的な構成上の違いに起因します。 1. 空集合の公理の「独立性」 もっとも大きな理由はこれです。 2. 「公…
Read more

ポアンカレ仮説の証明方法はリッチフローを導入すれば同相ということの証明をzfc的に証明評価する。 1. ポアンカレ予想と ZFC ポアンカレ予想は、ZFC 上で明確に述べられる純粋に集合論的な命題です。 2. Ricci…
Read more

Groundismにおける圏論をHoTT(Homotopy Type Theory)、n,∞-圏論(n, Infinity Category Theory), ∞-groupoid（∞-群、高次群体）により階層化する。前…
Read more

実は対象と射には強さがあり、同居している家族に加えて話もしないマンションの隣人や、何をしているかわからない隣のオフィスの会社、近所のスズメや鳩などの隣人が最も強関係をもつ存在であり、実は関係性と言っている主要取引先などは…
Read more

Diamonds（ダイヤモンド空間）は、∞-groupoid stack（∞-亜群スタック）として理解される構造です。これはp進幾何学と**∞-圏論（∞-category theory）**が融合した、最先端の概念体系で…
Read more

選択公理 (AC) を含むツェルメロ＝フレンケル集合論は公理的集合論の標準形式であり、今日では最も一般的な数学の基礎となっている。 ZFCで証明されるからといって、それが“絶対的に真”であるとは限らない。むしろ、「ZFC…
Read more

**ホモトピー圏論とは、「空間や関数の“連続変形”を射とする圏論」**です。通常の圏論では捉えきれない「高次構造」や「等しさの多様性」を捉えるために発展しました。 🔧 基本的な構成：ホモトピー圏（Homotopy Cat…
Read more

cohomological な対象と射を記述しようとするときに、圏論的なobjectとmorphismでは定義が線形に固まってしまう印象がある。AttentionとCohomorph™(Cohomological+Mor…
Read more

「モノイド圏（Monoidal Category）」は、圏論における“テンソル積”や“並列的合成”を抽象化した構造です。量子力学・圏論的量子場理論・情報論・プログラミング言語の意味論など、現代数学・理論物理・計算理論の中…
Read more