カテゴリー: adjunction / adjoining

Decrypt history, Encrypt future™

simplicalなabelian, monoidal圏分類から見たforcing ,p-adicの操作性

∞-simplexからhigher category theory的に構成されるabelian category, monoidal categoryの性質を分類しつつ、simplicialな構成法による三角形、四面体に…
Read more

麻田理論の数学的証明|業績⇄理念は随伴する。特定決算期の業績は理念の部分集合である

企業業績はA:X⇄Yの空間航行問題である。 企業Aが持つ理念と業績の間に随伴関係⇄があるのであれば、企業Aは当然その業績Yを達成することができる。 理念X=論理的演算系、停止条件 業績Y=物理的出力 と定義すれば、特定決…
Read more

わかりやすさの弊害は作為者自身も特異点に取り込まれることである。

あまりに高度で機能的な数学理論を確立してしまったとき、それを素直に書くとジェイコブルーリーのhigher category theoryやウラジミルヴォエヴォドスキーのhomotopy type theoryのように難解…
Read more

Pursuing Stacks|TANAAKK的strict(∞,∞)-category

strict(∞,∞)-categoryを前提とすると全てのcategoric simplexは唯一のデータとして保存される。一方、strata, sheaf, fibreは全て柔らかく可変であり、あとからテーブルクロス…
Read more