unit / counit – TANAAKK

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

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