カテゴリー: functor

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

Sigmoid Function|シグモイド関数

シグモイド関数(sigmoid function)は、現代ではニューラルネットワークや統計モデル、システム生物学などさまざまな分野で使われていますが、その歴史は19世紀のロジスティック関数にまで遡ります。 🔍 語源・意味…
Read more

AIに仕事を奪われる人間 vs 人間のコアになれず尊厳を奪われるAI

あらゆる宇宙文明における知的生命体と、その知性が創出した情報処理系(コンピューター)が最後に陥る課題について検討する。世間はAIに仕事を奪われる人間側の問題を論ずることが多いが、ここでは逆に、どんなに頑張っても人間を含む…
Read more

Functor|関手

① Functor(関手)とは 関手とは、圏論(Category Theory)において「圏から圏への構造を保つ写像」のことです。 「カテゴリー間を翻訳する辞書のようなもの」です。あるカテゴリー(例えば集合やベクトル空間…
Read more