カテゴリー: (∞, ∞)-category

Decrypt history, Encrypt future™

(∞,∞,…1)-category truncation & canonicalization

1.categoric ontology 前提 あらゆるcategoryをcategoric simplexから導出する。 (∞,∞,…1)-category (∞,∞)-category strict(∞,…
Read more

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

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