カテゴリー: category theory

1.∞ simplex↔︎0 simplex　 (gluing/nerveされればされるほどdimensionが落ち、低いdimensionではsimplexの識別力は支配的ではなくなる。) 2.0 complex↔︎∞…
Read more

人類は全ての宇宙を観測するという帰納法（Induction）ではなく、手元にあるわずかな局所情報だけで宇宙全体を推測するという帰納法（Induction）と演繹法（Deduction）のハイブリッドな推論(Abducti…
Read more

ゲーデルの不可能性定理や、チューリングのhalting problemは当時undecidablityに関する定理だと思われていたが、NP completeなどの体系がクック、レビンらにより定理化されるにつれて、その決定…
Read more

E8の例外リー郡の八元数宇宙は計算可能宇宙であるとすれば、宇宙全体が閉じているのに不連続なincomputabilityが局所存在してしまう理由はなんなのか。 例えば、グローバルなオープンマーケットプリンシプルが働かない…
Read more

∞-operad を起点とすれば、stratum, site, sheaf,fibre,groupoid,stack はすべて「必然的な随伴」として導出されます。 Operad（No.25の糸） は「演算の型」を定義しま…
Read more

Kan complex（カン複体）の定義は、数学的には「すべてのホーン V(n, k) からの写像が n-単体 Δn へ拡張できること」を意味する。kan complexの定義そのものがどんなhornに対しても必ずそれを…
Read more

わらしべ長者は単なる数字の移動ではなく、∞,∞-categoricなスキーマにおいて、異なるstratumのfibre, groupoid, stack間にまたがるhomotopic invariantsを不変量因数分解…
Read more

アロンゾ・チャーチ（Alonzo Church, 1903–1995）は、計算のエンジンを設計した論理学者です。 1. ラムダ計算（lambda-calculus）の創始 1930年代、チャーチは数学的な「関数」を極限ま…
Read more

高階論理（Higher-Order Logic: HOL）の歴史は、数学の基礎を「次元」や幾何などの数ではなく「論理」的階層化を追求します。 1. 黎明期：数学の論理化（19世紀末 – 20世紀初頭） 数学を…
Read more

∞,∞-categoryのsimplexからstrataを切り出し、対称性と相転移のあるfibre groupoidを作る。E∞はE8, E6, SU(3)+SU(2)+U(1)まで分解され、mathematical d…
Read more