カテゴリー: undecidability

Decrypt history, Encrypt future™

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

伝統的なEqualityはより包括的なEquivalenceの部分集合である。 Homotopical Equality≠Classical Mathematical Equalityであるので、この文脈を理解しないとH…
Read more