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

Decrypt history, Encrypt future™

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

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