カテゴリー: infinitesimal

Decrypt history, Encrypt future™

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

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

Equivalenceの階層体系|≣,≡,=,≅,≃,≈, ≠,⊣の違い

伝統的なEqualityはより等号の条件を緩和した一般的なEquivalenceの部分集合である。 Homotopical Equality≠Classical Mathematical Equalityであるので、この…
Read more